Towards a Provably Correct Compiler for OBJ3. Hamel, L. H. & Goguen, J. A. In Hermenegildo, M. V. & Penjam, J., editors, PLILP, volume 844, of Lecture Notes in Computer Science, pages 132-146, 1994. Springer.
Towards a Provably Correct Compiler for OBJ3. [link]Link  Towards a Provably Correct Compiler for OBJ3. [link]Paper  bibtex   
@inproceedings{conf/plilp/HamelG94,
  added-at = {2017-05-19T00:00:00.000+0200},
  author = {Hamel, Lutz H. and Goguen, Joseph A.},
  biburl = {https://www.bibsonomy.org/bibtex/25ad5187eb0eb4fd0fd70aeb8f64e645a/dblp},
  booktitle = {PLILP},
  crossref = {conf/plilp/1994},
  editor = {Hermenegildo, Manuel V. and Penjam, Jaan},
  ee = {https://doi.org/10.1007/3-540-58402-1_11},
  interhash = {6073c5173a1ca3b80e049ba69be0bf2c},
  intrahash = {5ad5187eb0eb4fd0fd70aeb8f64e645a},
  isbn = {3-540-58402-1},
  keywords = {dblp},
  pages = {132-146},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T13:14:19.000+0200},
  title = {Towards a Provably Correct Compiler for OBJ3.},
  url = {http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#HamelG94},
  volume = 844,
  year = 1994
}

Downloads: 0