A Case Study in Specifying the Semantics of a Programming Language

Ravi Sethi. A Case Study in Specifying the Semantics of a Programming Language. In POPL. pages 117-130, 1980.

@inproceedings{Sethi80,
  title = {A Case Study in Specifying the Semantics of a Programming Language},
  author = {Ravi Sethi},
  year = {1980},
  tags = {programming languages, semantics, case study, programming},
  researchr = {https://researchr.org/publication/Sethi80},
  cites = {0},
  citedby = {0},
  pages = {117-130},
  booktitle = {POPL},
}