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 history of ideas that led to the first formalization of the syntax and semantics of PLII is sket...
AbstractThis paper gives an overview of the tool-supported K framework for semantics-based programmi...
This document is a tutorial �ntroduction to the method used in the formal defini tion of programming...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
The way to specify a programming language has been a topic of heated debate for some decades and at ...
Formal semantic description is significant for design, reasoning and standardization of programming ...
In this tutorial, we compare the main approaches for programming language semantic specification fr...
By paying more attention to semantics-based tool generation, programming language semantics can sign...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
The creation of new programming languages, capable of fully deploying the new technological innovati...
In these lecture notes we present a few basic approaches to the definition of the semantics of prog...
International audienceThis book – composed of two volumes – explores the syntactical constructs of t...
A new approach to the formal description of programming language semantics is described and illustr...
We examine the role of semantic theory in determining the ontology of programming languages. We expl...
The research summarised here concerns theoretical aspects involved in the implementation of program...
The history of ideas that led to the first formalization of the syntax and semantics of PLII is sket...
AbstractThis paper gives an overview of the tool-supported K framework for semantics-based programmi...
This document is a tutorial �ntroduction to the method used in the formal defini tion of programming...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
The way to specify a programming language has been a topic of heated debate for some decades and at ...
Formal semantic description is significant for design, reasoning and standardization of programming ...
In this tutorial, we compare the main approaches for programming language semantic specification fr...
By paying more attention to semantics-based tool generation, programming language semantics can sign...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
The creation of new programming languages, capable of fully deploying the new technological innovati...
In these lecture notes we present a few basic approaches to the definition of the semantics of prog...
International audienceThis book – composed of two volumes – explores the syntactical constructs of t...
A new approach to the formal description of programming language semantics is described and illustr...
We examine the role of semantic theory in determining the ontology of programming languages. We expl...
The research summarised here concerns theoretical aspects involved in the implementation of program...
The history of ideas that led to the first formalization of the syntax and semantics of PLII is sket...
AbstractThis paper gives an overview of the tool-supported K framework for semantics-based programmi...
This document is a tutorial �ntroduction to the method used in the formal defini tion of programming...
DOI
Add to ORKG