Add to ORKG[Programming Languages] Language Constructs and Features — abstract data types, control structures, procedures, functions, and subroutines; D.3.m [Programming Languages] Miscellaneous — multimethods, generic functions, type systems; F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages — operational semantics; F.3.3 [Logics and Meanings of Programs] Studies o
We examine the role of semantic theory in determining the ontology of programming languages. We expl...
Our objective is to understand the notion of type in programming languages, present a model of typed...
We demonstrate that a uniformity of approach to both the definition and implementation of programmin...
procedures, functions, and subroutines; D.3.m [Programming Languages] Miscellaneous — multimethods
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
SIGLETIB: RN 4237 (157) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...
We examine the role of semantic theory in determining the ontology of programming languages. We expl...
The notion of type to designate a class of values, and the operations on those values, is a central ...
The research summarised here concerns theoretical aspects involved in the implementation of program...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
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 prog...
[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...
Covers the nature of language, syntax, modeling objects, names, expressions, functions, control stru...
Our objective is to understand the notion of type in programming languages, present a model of typed...
We examine the role of semantic theory in determining the ontology of programming languages. We expl...
Our objective is to understand the notion of type in programming languages, present a model of typed...
We demonstrate that a uniformity of approach to both the definition and implementation of programmin...
procedures, functions, and subroutines; D.3.m [Programming Languages] Miscellaneous — multimethods
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
SIGLETIB: RN 4237 (157) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...
We examine the role of semantic theory in determining the ontology of programming languages. We expl...
The notion of type to designate a class of values, and the operations on those values, is a central ...
The research summarised here concerns theoretical aspects involved in the implementation of program...
AbstractThese notes give an overview of the main frameworks that have been developed for specifying ...
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 prog...
[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...
Covers the nature of language, syntax, modeling objects, names, expressions, functions, control stru...
Our objective is to understand the notion of type in programming languages, present a model of typed...
We examine the role of semantic theory in determining the ontology of programming languages. We expl...
Our objective is to understand the notion of type in programming languages, present a model of typed...
We demonstrate that a uniformity of approach to both the definition and implementation of programmin...