Autor:	Valery A. Nepomniaschy, A. V. Promskii, Igor S. Anureev, I. N. Mikhailov
Rok vydání:	2002
Předmět:	Goto business.industry Programming language Computer science Formal semantics (linguistics) computer.software_genre Operational semantics Action semantics Denotational semantics Computational semantics Artificial intelligence business computer Library function Software Natural language processing
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:	https://explore.openaire.eu/search/publication?articleId=doi_________::ae99a8549f3e3995217459db30cffbfb https://doi.org/10.1023/a:1021045909505 Zobrazit plný text záznamu Full text from SpringerLink