Operational Semantics Papers
============================

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

### 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