Semantic Scholar uses AI to extract papers important to this topic.
Abstract We review the origins of structural operational semantics. The main publication `A Structural Approach to Operational… Expand We present a categorical theory of 'well-behaved' operational semantics which aims at complementing the established theory of… Expand This paper will focus on the semantic representation of verbs in computer systems and its impact on lexical selection problems in… Expand Abstract We present the E sterel programming language which is especially designed to program reactive systems, that is systems… Expand Publisher Summary
This chapter focuses on denotational semantics, which is a framework for the formal description of programming… Expand The purpose of the theory of domains is to give models for spaces on which to define computable functions. The kinds of spaces… Expand A framework allowing a unified and rigorous definition of the semantics of concurrency is proposed. The mathematical model… Expand From the Publisher:
"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal… Expand This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey. The… Expand