Viktor K. Sabelfeld. Analysis of Some Semantic Properties for Programs of the Applicative Language AL. In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Volume 735 of Lecture Notes in Computer Science, pages 181-189, Springer, 1993.
@inproceedings{Sabelfeld93,
title = {Analysis of Some Semantic Properties for Programs of the Applicative Language AL},
author = {Viktor K. Sabelfeld},
year = {1993},
tags = {programming languages, program analysis, analysis},
researchr = {https://researchr.org/publication/Sabelfeld93},
cites = {0},
citedby = {0},
pages = {181-189},
booktitle = {Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings},
editor = {Dines Bjørner and Manfred Broy and Igor V. Pottosin},
volume = {735},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57316-X},
}