%0 Report %1 Deransart78b %A Deransart, Pierre %C Rocquencourt %D 1978 %K exem.LISP valid %N 271 %T Technique de preuve par attributs appliquée à un compilateur Lisp

@techreport{Deransart78b, added-at = {2009-05-10T18:36:57.000+0200}, address = {Rocquencourt}, author = {Deransart, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2b52dbc4a39ed939221a920285aa8d878/dparigot}, description = {Attribute Grammar}, institution = {IRIA-Laboria}, interhash = {7611f88caf97dbf12284d8821d2f3ca9}, intrahash = {b52dbc4a39ed939221a920285aa8d878}, keywords = {exem.LISP valid}, month = {January}, number = 271, timestamp = {2009-05-10T18:37:00.000+0200}, title = {Technique de preuve par attributs appliqu{\'e}e {\`a} un compilateur Lisp}, type = {rapport de recherche}, year = 1978 }