Categories and Subject Descriptors D.3.1 [Prog. Lang.]: Formal Definitions and Theory General Terms Languages
by
Arjun Guha
,
Shriram Krishnamurthi
BibTeX
@MISC{Guha_categoriesand,
author = {Arjun Guha and Shriram Krishnamurthi},
title = {Categories and Subject Descriptors D.3.1 [Prog. Lang.]: Formal Definitions and Theory General Terms Languages},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing thesemantics ofreal-world languages canhelp bring language theorytobearonbothexcitingandimportantrealworld problems. Achievingthis isnot purelyamathematical task, but equally one of (semantic) engineering.
Citations
| 330 | CIL: Intermediate language and tools for analysis and transformation of C programs - Necula, McPeak, et al. - 2002 |
| 16 | Mechanized semantics for the Clight subset of the C language - Blazy, Leroy |
| 12 | The essence of Javascript, in - Guha, Saftoiu, et al. - 2010 |
| 12 | Software engineering: An unconsummated marriage - Parnas - 1997 |
| 10 | Semantics Engineering with PLT Redex - Felleisen, Findler, et al. - 2009 |
| 9 | Confessions of a used programming language salesman - Meijer - 2007 |
