Specifying Programming Language Semantics.

Irene Greif, Albert R. Meyer: Specifying Programming Language Semantics. POPL 1979: 180-189

@inproceedings{DBLP:conf/popl/GreifM79,
  author    = {Irene Greif and
               Albert R. Meyer},
  title     = {Specifying Programming Language Semantics},
  booktitle = {POPL},
  year      = {1979},
  pages     = {180-189},
  ee        = {db/conf/popl/GreifM79.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Abstract

Copyright © 1979 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

BibTeX

Printed Edition

Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, January 1979. ACM 1979 BibTeX
Contents

Online Edition: ACM Digital Library

Referenced by

Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421

BibTeX