Axiomatic Definitions of Programming Languages: A Theoretical Assessment - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Albert R. Meyer, Joseph Y. Halpern. Axiomatic Definitions of Programming Languages: A Theoretical Assessment. In POPL. pages 203-212, 1980.

@inproceedings{MeyerH80,
  title = {Axiomatic Definitions of Programming Languages: A Theoretical Assessment},
  author = {Albert R. Meyer and Joseph Y. Halpern},
  year = {1980},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/MeyerH80},
  cites = {0},
  citedby = {0},
  pages = {203-212},
  booktitle = {POPL},
}

runs on WebDSL