A semantics for while with break, continue and goto

Authors

  • Patricia Peratto

DOI:

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

Abstract

This work presents a formal description of a subset of a C-likelanguage in the form of an operational semantics. We give semantics to the following statements (presented in alphabetical order) : assig- nation, break, composition, continue, goto, if, skip and while. The semantics is given by an abstract machine composed by an stack, two counters and three functions. We prove some expected properties of the semantics.

Downloads

Published

2018-07-23

Issue

Vol. 9 No. 2 (2006): Regular Issue and Special Issue of Best Papers presented at CLEI 2005, Cali, Colombia. Special Issue Guest Editor: Camilo Rueda

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).