- New
| Title | Semantics Engineering with Plt Redex |
| Author | Feleisn E |
| ISBN-13 | 9788120343207 |
| Publication | PHI-PARALLEL |
This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computer with the ease of paper and pencil.
For General Enquiries E-mail support@madrasshoppe.com
COD Available. Delivery Time 4 - 7 Working Days in India.
This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computer with the ease of paper and pencil.
Feleisn E is the author of Semantics Engineering with Plt Redex.
Disclaimer:
| Title | Semantics Engineering with Plt Redex |
| Author | Feleisn E |
| ISBN-13 | 9788120343207 |
| Publication | PHI-PARALLEL |
This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computer with the ease of paper and pencil.