%0 Journal Article %1 journals/toplas/ChiricaM86 %A Chirica, Laurian M. %A Martin, David F. %D 1986 %J ACM Trans. Program. Lang. Syst. %K dblp %N 2 %P 185-214 %T Toward Compiler Implementation Correctness Proofs. %U http://dblp.uni-trier.de/db/journals/toplas/toplas8.html#ChiricaM86 %V 8

@article{journals/toplas/ChiricaM86, added-at = {2023-10-22T00:00:00.000+0200}, author = {Chirica, Laurian M. and Martin, David F.}, biburl = {https://www.bibsonomy.org/bibtex/2236dbe60a9bf4a7271e9838447e82693/dblp}, ee = {https://www.wikidata.org/entity/Q123111756}, interhash = {4ee1da20dac7ff0321ed0f8051176d03}, intrahash = {236dbe60a9bf4a7271e9838447e82693}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 2, pages = {185-214}, timestamp = {2024-04-09T06:03:16.000+0200}, title = {Toward Compiler Implementation Correctness Proofs.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas8.html#ChiricaM86}, volume = 8, year = 1986 }