From Geometry of Interaction to Denotational Semantics
نویسندگان
چکیده
منابع مشابه
From Geometry of Interaction to Denotational Semantics
We analyze the categorical foundations of Girard’s Geometry of Interaction Program for Linear Logic. The motivation for the work comes from the importance of viewing GoI as a new kind of semantics and thus trying to relate it to extant semantics. In an earlier paper we showed that a special case of Abramsky’s GoI situations–ones based on Unique Decomposition Categories (UDC’s)–exactly captures ...
متن کاملFrom Operational to Denotational Semantics
In this paper it is shown how operational semantic methods may be naturally extended to encompass many of the concepts of denotational semantics. This work builds on the standard development of an operational semantics as an interpreter and operational equivalence. The key addition is an operational ordering on sets of terms. From properties of this ordering a closure construction directly yiel...
متن کاملFrom standard to implementation denotational semantics
e are developing a compiler compiler. It takes as input the formal definition of a programming lanquage in Denotational Semantics and produces as output a fairly efficient compiler written in a systems programming language which in turn will produce code for a real machine. This wor:c ~ainly deals with the code qeneration parts.
متن کاملFrom Operational Semantics to Denotational Semantics for Verilog
This paper presents the derivation of a denotational semantics from an operational semantics for a subset of the widely used hardware description language Verilog. Our aim is to build an equivalence between the operational and denotational semantics. We propose a discrete time semantic model for Verilog. Algebraic laws are also investigated in this paper, with the ultimate aim of providing a un...
متن کاملAbstract Interpretation From a Denotational-semantics Perspective
interpretation from a denotational-semantics perspective
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2005
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.06.052