Design and correctness of a compiler for a non-procedural language

Christoph M Hoffmann

Acta Informatica - 1978

Acta Informatica - 1978

---

Hoffmann, Christoph M. “Design and Correctness of a Compiler for a Non-Procedural Language.” Acta Informatica, vol. 9, no. 3, Springer, 1978, pp. 217–41, doi:10.1007/BF00288883.

@article{hoffmann1978design,
  title = {Design and correctness of a compiler for a non-procedural language},
  author = {Hoffmann, Christoph M},
  journal = {Acta Informatica},
  volume = {9},
  number = {3},
  pages = {217--241},
  year = {1978},
  publisher = {Springer},
  doi = {10.1007/BF00288883},
  pdf = {Hoffmann-Acta_informatics-1978-Article_Design_And_Correctness_Of_A_Compile.pdf}
}