%0 Journal Article %1 Chirica86 %A Chirica, Laurian M. %A Martin, David F. %D 1986 %J ACM Trans. Progr. Languages and Systems %K divers.denot valid %N 2 %P 185--214 %T Toward Compiler Implementation Correctness Proofs %V 8

@article{Chirica86, added-at = {2009-05-10T18:36:57.000+0200}, author = {Chirica, Laurian M. and Martin, David F.}, biburl = {https://www.bibsonomy.org/bibtex/2af819b52b5a2c4b5d4e53119fae8f471/dparigot}, description = {Attribute Grammar}, interhash = {4ee1da20dac7ff0321ed0f8051176d03}, intrahash = {af819b52b5a2c4b5d4e53119fae8f471}, journal = {ACM Trans. Progr. Languages and Systems}, keywords = {divers.denot valid}, month = {April}, mynote = {Je ne sais pas trop si ce papier a sa place dans {"}valid{"} car il ne parle pas de preuves de GAs mais de preuves de compilateurs en une passe par rapport a une semantique denotationelle obtenue a partie d'une GA. (mj)}, number = 2, pages = {185--214}, timestamp = {2009-05-10T18:36:59.000+0200}, title = {Toward Compiler Implementation Correctness Proofs}, volume = 8, year = 1986 }