Autor: | Valery A. Nepomniaschy, A. V. Promskii, Igor S. Anureev, I. N. Mikhailov |
---|---|
Rok vydání: | 2002 |
Předmět: | |
Zdroj: | Programming and Computer Software. 28:314-323 |
ISSN: | 0361-7688 |
Popis: | The C-light language is described, which is a representative subset of C. C-light permits deterministic expressions, limited use of switch and goto statements, and, instead of library functions for work with dynamic memory, includes Cpp statements new and delete. A survey of structured operational semantics of the C-light language in Plotkin's style is given. |
Databáze: | OpenAIRE |
Externí odkaz: |