Extra 2% OFF
Pay ₹465.00 online and save ₹10.00
Free shipping with prepaid payment
| 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.
General Enquiries: support@madrasshoppe.com |
Chat Support @ WhatApp 744 836 3000
Free Shipping on prepaid orders above ₹999 ! | COD Available | Standard India Delivery: 4 - 7 Working Days
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.