2 search results - page 1 / 1 » A semantics for while with break, continue and goto |
CLEIEJ
2006
13 years 4 months ago
2006
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 alpha...
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...