Topic
Operational semantics
About: Operational semantics is a research topic. Over the lifetime, 8824 publications have been published within this topic receiving 227247 citations.
Papers published on a yearly basis
Papers
More filters
•
01 Jan 1988
TL;DR: This paper introduces a succinct abstract representation of constraint atoms in which a constraint atom is represented compactly and shows that this representation provides a means to characterize dependencies of atoms in a program with constraint atoms, so that some standard characterizations and properties relying on these dependencies in the past for logic programs with ordinary atoms can be extended.
3,539 citations
•
2,380 citations
•
01 Jan 1998
TL;DR: This chapter discusses truth-conditional Semantics and the Fregean Program, and first steps towards an Intensional Semantics.
Abstract: Preface. 1. Truth-conditional Semantics and the Fregean Program. 2. Executing the Fregean Program. 3. Semantics and Syntax. 4. More of English: Non-verbal Predicates, Modifiers, Definite Descriptions. 5. Relative Clauses, Variables, Variable Binding. 6. Quantifiers: Their Semantic Type. 7. Quantification and Grammar. 8. Syntactic and Semantic Constraints on Quantifier Movement. 9. Bound and Referential Pronouns and Ellipsis. 10. Syntactic and Semantic Binding. 11. E-Type Anaphora. 12. First Steps Towards an Intensional Semantics. Index.
2,295 citations
••
TL;DR: This paper presents the imperative primitives of E esterel and the temporal manipulations they permit, and shows how the E Esterel v2 and V3 compilers efficiently translate concurrent E esteretl programs into efficient equivalent sequential automata that can be implemented in conventional sequential languages.
1,817 citations
•
[...]
TL;DR: In this paper, the Curry-Howard isomorphism and the normalisation theorem of a natural deduction system T coherence spaces have been studied in the context of linear logic and linear logic semantics.
Abstract: Sense, denotation and semantics natural deduction the Curry-Howard isomorphism the normalisation theorem Godel's system T coherence spaces denotational semantics of T sums in natural deduction system F coherence semantics of the sum cut elimination (Hauptsatz) strong normalisation for F representation theorem semantics of System F what is linear logic?
1,771 citations