DocumentCode
2597528
Title
A fully abstract semantics for a functional language with logic variables
Author
Jagadeesan, Radha ; Panangaden, Prakash ; Pingali, Keshav
Author_Institution
Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
fYear
1989
fDate
5-8 Jun 1989
Firstpage
294
Lastpage
303
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
Keywords
formal languages; functional programming; Plotkin-style operational semantics; Scott domain; declarative languages; denotational semantics; fully abstract semantics; functional language; logic variables; Computer science; Equations; Interleaved codes; Logic arrays; Logic design; Logic programming; Programmable logic arrays; Writing; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on
Conference_Location
Pacific Grove, CA
Print_ISBN
0-8186-1954-6
Type
conf
DOI
10.1109/LICS.1989.39184
Filename
39184
Link To Document