AbstractThese notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity, and potential applicability to visual and modelling languages. References to the literature provide starting points for further study
The way to specify a programming language has been a topic of heated debate for some decades and at ...
The study and production of programming language semantics is a computer science field aiming to rep...
This paper describes an undergraduate course taught at the University of Newcastle upon Tyne; the ti...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
The creation of new programming languages, capable of fully deploying the new technological innovati...
Formal semantics is a topic of major importance in the study of programming languages. Its applicat...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
The way to specify a programming language has been a topic of heated debate for some decades and at ...
AbstractThe formal semantics of a programming language consists of assigning to every program of the...
By paying more attention to semantics-based tool generation, programming language semantics can sign...
A new approach to the formal description of programming language semantics is described and illustr...
We document the influence on programming language semantics of the Platonism/formalism divide in the...
Formal semantic description is significant for design, reasoning and standardization of programming ...
AbstractThis paper gives an overview of the tool-supported K framework for semantics-based programmi...
Since the middle of the twentieth century, hundreds of programming languages have been designed and ...
The way to specify a programming language has been a topic of heated debate for some decades and at ...
The study and production of programming language semantics is a computer science field aiming to rep...
This paper describes an undergraduate course taught at the University of Newcastle upon Tyne; the ti...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
The creation of new programming languages, capable of fully deploying the new technological innovati...
Formal semantics is a topic of major importance in the study of programming languages. Its applicat...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
The way to specify a programming language has been a topic of heated debate for some decades and at ...
AbstractThe formal semantics of a programming language consists of assigning to every program of the...
By paying more attention to semantics-based tool generation, programming language semantics can sign...
A new approach to the formal description of programming language semantics is described and illustr...
We document the influence on programming language semantics of the Platonism/formalism divide in the...
Formal semantic description is significant for design, reasoning and standardization of programming ...
AbstractThis paper gives an overview of the tool-supported K framework for semantics-based programmi...
Since the middle of the twentieth century, hundreds of programming languages have been designed and ...
The way to specify a programming language has been a topic of heated debate for some decades and at ...
The study and production of programming language semantics is a computer science field aiming to rep...
This paper describes an undergraduate course taught at the University of Newcastle upon Tyne; the ti...
DOI
Add to ORKG