Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Communication and concurrency
The semantics of programming languages: an elementary introduction using structural operational semantics
Process algebra
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
Theoretical aspects of object-oriented programming: types, semantics, and language design
Theoretical aspects of object-oriented programming: types, semantics, and language design
The Science of Programming
A Theory of Objects
A Discipline of Programming
| Hi-index | 0.00 |
Like English, French, and other "natural" languages, a programming language possesses both a syntax (grammatical laws that define the well-formed sentences) and a semantics (rules for giving meaning to programming language is a simple enough "artificial" language that precise definitions can be formulated for its syntax and semantics. The benefits of such precise definitions are: (1) the definitions standardize the programming language, so that implementors and users can agree on how the language bahaves; (2) the definitions can be analyzed for correctness and effciency properties; and (3) they can be used as input to automated prototyping tools like complier generators.