scispace - formally typeset
Search or ask a question
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
More filters
Proceedings Article
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

Book
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

Journal ArticleDOI
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

Book
01 Jan 1989
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


Network Information
Related Topics (5)
Concurrency
13K papers, 347.1K citations
93% related
Model checking
16.9K papers, 451.6K citations
91% related
Formal specification
18.3K papers, 370.6K citations
88% related
Executable
24K papers, 391.1K citations
85% related
Finite-state machine
15.1K papers, 292.9K citations
85% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202337
202267
2021111
2020144
2019184
2018163