%0 Conference Paper %1 conf/nmelp/CostantiniL94 %A Costantini, Stefania %A Lanzarone, Gaetano Aurelio %B NMELP %D 1994 %E Dix, Jürgen %E Pereira, Luís Moniz %E Przymusinski, Teodor C. %I Springer %K dblp %P 156-180 %T Static Semantics as Program Transformation and Well-founded Computation. %U http://dblp.uni-trier.de/db/conf/nmelp/nmelp94.html#CostantiniL94 %V 927 %@ 3-540-59467-1

@inproceedings{conf/nmelp/CostantiniL94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Costantini, Stefania and Lanzarone, Gaetano Aurelio}, biburl = {https://www.bibsonomy.org/bibtex/2ae0d313508d7d0a882f294d6f9a9d760/dblp}, booktitle = {NMELP}, crossref = {conf/nmelp/1994}, editor = {Dix, Jürgen and Pereira, Luís Moniz and Przymusinski, Teodor C.}, ee = {https://doi.org/10.1007/BFb0030664}, interhash = {0ef9285673b6cbbafa1174115fee7114}, intrahash = {ae0d313508d7d0a882f294d6f9a9d760}, isbn = {3-540-59467-1}, keywords = {dblp}, pages = {156-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:35:09.000+0200}, title = {Static Semantics as Program Transformation and Well-founded Computation.}, url = {http://dblp.uni-trier.de/db/conf/nmelp/nmelp94.html#CostantiniL94}, volume = 927, year = 1994 }