Computers / Programming / Compilers
Showing results 1-3 of 3
Filter Results OPEN +
Essentials of Compilation
An Incremental Approach in Python
ISBN: 9780262048248
Publisher: The MIT Press
Pub Date: August 1, 2023
A hands-on approach to understanding and building compilers using the programming language Python.
Program Proofs
ISBN: 9780262546232
Publisher: The MIT Press
Pub Date: March 7, 2023
This comprehensive and highly readable textbook teaches students how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.
Essentials of Compilation
An Incremental Approach in Racket
ISBN: 9780262047760
Publisher: The MIT Press
Pub Date: February 21, 2023
A hands-on approach to understanding and building compilers.

Essentials of Compilation
An Incremental Approach in Python
ISBN: 9780262048248
Publisher: The MIT Press
Pub Date: August 1, 2023
A hands-on approach to understanding and building compilers using the programming language Python.
Program Proofs
ISBN: 9780262546232
Publisher: The MIT Press
Pub Date: March 7, 2023
This comprehensive and highly readable textbook teaches students how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.
Essentials of Compilation
An Incremental Approach in Racket
ISBN: 9780262047760
Publisher: The MIT Press
Pub Date: February 21, 2023
A hands-on approach to understanding and building compilers.