%0 Journal Article %1 journals/ipl/Leino95 %A Leino, K. Rustan M. %D 1995 %J Inf. Process. Lett. %K dblp %N 3 %P 159-163 %T Constructing a Program with Exceptions. %U http://dblp.uni-trier.de/db/journals/ipl/ipl53.html#Leino95 %V 53

@article{journals/ipl/Leino95, added-at = {2003-11-20T00:00:00.000+0100}, author = {Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/245370a73932125dfeb269bbb9300f15c/dblp}, date = {2003-11-20}, description = {dblp}, ee = {http://dx.doi.org/10.1016/0020-0190(94)00197-7}, interhash = {07c933175f938f9a452eae774d3111e5}, intrahash = {45370a73932125dfeb269bbb9300f15c}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 3, pages = {159-163}, timestamp = {2003-11-20T00:00:00.000+0100}, title = {Constructing a Program with Exceptions.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl53.html#Leino95}, volume = 53, year = 1995 }