Papers.md @master — view markup · raw · history · blame
Operational Semantics Papers
An Introduction to Operational Semantics
- authors: Sanjiva Prasad, S. Arun-Kumar
- date: 2003
- format: book-chapter
- url: https://www.cse.iitd.ac.in/~sak/courses/pl/opsem.pdf
- topics: Operational Semantics, Compiler Construction