Semantics of programming languages
 |
|
Описание:
This comprehensive text introduces the analysis of the semantics of programming languages and programming logics. It discusses denotational, operational, and axiomatic approaches and the relations between them in a unified framework. Organized around analysis of three languages - the simple imperative language of while commands, a simple applicative language based on the typed lambda calculus, and an Algol-like language which is an extension of the simple languages, the text discusses syntactic and semantic methods appropriate to typed languages. There also self-contained introductions to natural deduction, domain theory, and category theory, and a discussion of modern techniques of possible worlds.Похожие книги
 | Programming Language Fundamentals by Example Автор: D.E. Stevenson Год: 2006 |
 | Handbook of Visual Languages for Instructional Design: Theories and Practices Автор: Luca Botturi and Todd Stubbs Год: 2007 |
 | Modern compiler design Автор: D. Grune Год: 2000 |
| Modern compiler design Автор: D. Grune Год: 2000 |
| Purely functional data structures Автор: Chris Okasaki Год: 1999 |
