The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Consistent formal theories of the semantics of programming languages

The work

AuthorsP. E. Lauer
Editors
Typetechreport
Year1971
Citekeylauer1971consistent

Where it appeared

PublisherIBM Laboratory Vienna
Number in seriesTR 25.121
SchoolIBM Laboratory Vienna

How it got here

How it got hereagent via bibtex
Added2026-10-24 06:08 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

what-a-program-means

Cite it as

@techreport{lauer1971consistent,
  title        = {Consistent formal theories of the semantics of programming languages},
  author       = {P. E. Lauer},
  year         = {1971},
  publisher    = {IBM Laboratory Vienna},
  school       = {IBM Laboratory Vienna},
}

This record lives at https://refs.drheap.org/lauer1971consistent/ and will keep doing so.