Sciweavers

Share
CLEIEJ
2006

A semantics for while with break, continue and goto

9 years 3 months ago
A semantics for while with break, continue and goto
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alphabetical order) : assignation, break, composition, continue, goto, if, skip and while. The s is given by an abstract machine composed by an stack, two counters and three functions. We prove some expected properties of the semantics.
Patricia Peratto
Added 11 Dec 2010
Updated 11 Dec 2010
Type Journal
Year 2006
Where CLEIEJ
Authors Patricia Peratto
Comments (0)
books