%0 Journal Article %1 journals/cj/Deransart79 %A Deransart, Pierre %D 1979 %J Comput. J. %K dblp %N 3 %P 240-245 %T Proof by Semantic Attributes of a LISP Compiler. %U http://dblp.uni-trier.de/db/journals/cj/cj22.html#Deransart79 %V 22

@article{journals/cj/Deransart79, added-at = {2023-08-28T00:00:00.000+0200}, author = {Deransart, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/26525348a687c30b2795e1f0eeb8a6f89/dblp}, ee = {https://www.wikidata.org/entity/Q121434381}, interhash = {1e101dfbd72f0ef7be2649033279922a}, intrahash = {6525348a687c30b2795e1f0eeb8a6f89}, journal = {Comput. J.}, keywords = {dblp}, number = 3, pages = {240-245}, timestamp = {2024-04-09T06:36:56.000+0200}, title = {Proof by Semantic Attributes of a LISP Compiler.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj22.html#Deransart79}, volume = 22, year = 1979 }