A semantics for While in ?-calculus

Authors

  • Patricia Peratto

DOI:

https://doi.org/10.19153/cleiej.10.2.6

Abstract

This work presents an implementation in ?-calculus of a subset of a C-like language called While.

We codify booleans, integers and the statements of while : assig- nation, composition, if, skip and while.

We study the relationship between precongruences in While and?-calculus.

Downloads

Published

2007-12-01

Issue

Vol. 10 No. 2 (2007): Regular Issue and Special Issue of Best Papers presented at CLEI 2006, Santiago, Chile

Section

Articles

License

CLEIej is supported by its home institution, CLEI, and by the contribution of the Latin American and international researchers community, and it does not apply any author charges whatsoever for submitting and publishing. Since its creation in 1998, all contents are made publicly accesibly. The current license being applied is a (CC)-BY license (effective October 2015; between 2011 and 2015 a (CC)-BY-NC license was used).