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
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...
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...
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...
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 ...
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...
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...
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...
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 ...
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...
DOI
Add to ORKG