Add to ORKGThe research summarised here concerns theoretical aspects involved in the implementation of programming languages directly from a description of their semantics. This involves a study of the subtasks abstract interpretation (a framework for program analysis), code generation and program transformation and the main aim has been to ensure the correctness of these subtasks
this paper, semantics modifiers exist for a wide class of computational problems, including non-stan...
International audienceThis paper describes a methodology for defining an executable abstract interpr...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
An approach for systematically modifying the semantics of programming languages by semantics modifie...
By paying more attention to semantics-based tool generation, programming language semantics can sign...
The way to specify a programming language has been a topic of heated debate for some decades and at ...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
We document the influence on programming language semantics of the Platonism/formalism divide in the...
Fundamental concerns of relevance to programming are raised by Brian Smith. These focus on the relat...
[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...
By paying more attention to semantics-based tool generation, programming language semantics can sign...
We examine the role of semantic theory in determining the ontology of programming languages. We expl...
Most approaches to formal semantics are based on the assumption that all the constructs of a languag...
The abstract interpretation of programs relates the exact semantics of a programming language to an ...
MasterThe focus of these lecture notes is on abstract models and basic ideasand results that relate ...
this paper, semantics modifiers exist for a wide class of computational problems, including non-stan...
International audienceThis paper describes a methodology for defining an executable abstract interpr...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
An approach for systematically modifying the semantics of programming languages by semantics modifie...
By paying more attention to semantics-based tool generation, programming language semantics can sign...
The way to specify a programming language has been a topic of heated debate for some decades and at ...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
We document the influence on programming language semantics of the Platonism/formalism divide in the...
Fundamental concerns of relevance to programming are raised by Brian Smith. These focus on the relat...
[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...
By paying more attention to semantics-based tool generation, programming language semantics can sign...
We examine the role of semantic theory in determining the ontology of programming languages. We expl...
Most approaches to formal semantics are based on the assumption that all the constructs of a languag...
The abstract interpretation of programs relates the exact semantics of a programming language to an ...
MasterThe focus of these lecture notes is on abstract models and basic ideasand results that relate ...
this paper, semantics modifiers exist for a wide class of computational problems, including non-stan...
International audienceThis paper describes a methodology for defining an executable abstract interpr...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...