Copyright © 2007 Elsevier B.V. All rights reserved.
Definability and Full Abstraction
Available online 12 March 2007.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Game semantics has renewed denotational semantics. It offers among other things an attractive classification of programming features, and has brought a bunch of new definability results. In parallel, in the denotational semantics of proof theory, several full completeness results have been shown since the early nineties. In this note, we review the relation between definability and full abstraction, and we put a few old and recent results of this kind in perspective.
Keywords: operational semantics; denotational semantics; sequentiality






E-mail Article
Add to my Quick Links

Cited By in Scopus (0)





