%0 Journal Article %1 journals/corr/abs-1112-1554 %A Crolard, Tristan %A Polonowski, Emmanuel %D 2011 %J CoRR %K dblp %T A program logic for higher-order procedural variables and non-local jumps %U http://dblp.uni-trier.de/db/journals/corr/corr1112.html#abs-1112-1554 %V abs/1112.1554

@article{journals/corr/abs-1112-1554, added-at = {2018-08-13T00:00:00.000+0200}, author = {Crolard, Tristan and Polonowski, Emmanuel}, biburl = {https://www.bibsonomy.org/bibtex/253883d69aeff0d5c55c04d880ace6eb0/dblp}, ee = {http://arxiv.org/abs/1112.1554}, interhash = {64e57bd0c248f17f24fb98fdce476217}, intrahash = {53883d69aeff0d5c55c04d880ace6eb0}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:47:42.000+0200}, title = {A program logic for higher-order procedural variables and non-local jumps}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1112.html#abs-1112-1554}, volume = {abs/1112.1554}, year = 2011 }