Paper: A fully abstract semantics for a functional language with logic variables (at LICS 1989)
Authors: Jagadeesan, R. Panangaden, P. Pingali, K.Abstract
There is much interest in the declarative languages community in integrating logic variables into functional languages. The authors give a full semantic account of such a language. They present a Plotkin-style operational semantics for the language and an abstract semantics that expresses meanings as closure operators on a Scott domain. They also show that the denotational semantics is fully abstract with respect to the operational semantics
BibTeX
@InProceedings{JagadeesanPanangade-Afullyabstractseman, author = {Jagadeesan, R. and Panangaden, P. and Pingali, K.}, title = {A fully abstract semantics for a functional language with logic variables }, booktitle = {Proceedings of the Fourth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1989}, year = 1989, editor = {Rohit Parikh}, month = {June}, pages = {294--303}, location = {Pacific Grove, CA, USA}, publisher = {IEEE Computer Society Press} }