Add to ORKGAlgebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics
AbstractAn abstract language for a computer of von Neumann type is presented. This language is consi...
AbstractThe paper proposes an axiomatic approach to specification languages, and introduces notions ...
A new approach to the formal description of programming language semantics is described and illustr...
Algebraic properties specify some natural properties of programming and specification constructs. Th...
The purpose of formal specification of programming languages are to establish the mathematical found...
We demonstrate that a uniformity of approach to both the definition and implementation of programmin...
This paper is the first chapter of a cognitive, didactic and computational theory of algebra that pr...
In calculational program design one derives implementations from specifications using semantics-pres...
AbstractThis paper develops a number of fundamental tools from category theory and applies them to p...
International audienceThis paper is the first chapter of a cognitive, didactic and computational the...
AbstractWe show how the problem of code generation for a simple language can be treated fully algebr...
Specification morphisms underlie the refinement of algebraic specifications and provide the logical ...
Abstract:- This paper is an approach methodology of programming language, considerate like a tuple L...
AbstractA language called ASL for describing structured algebraic specifications is presented. ASL i...
An algebraic programming system is a language built from a fixed algebraic data abstraction and a se...
AbstractAn abstract language for a computer of von Neumann type is presented. This language is consi...
AbstractThe paper proposes an axiomatic approach to specification languages, and introduces notions ...
A new approach to the formal description of programming language semantics is described and illustr...
Algebraic properties specify some natural properties of programming and specification constructs. Th...
The purpose of formal specification of programming languages are to establish the mathematical found...
We demonstrate that a uniformity of approach to both the definition and implementation of programmin...
This paper is the first chapter of a cognitive, didactic and computational theory of algebra that pr...
In calculational program design one derives implementations from specifications using semantics-pres...
AbstractThis paper develops a number of fundamental tools from category theory and applies them to p...
International audienceThis paper is the first chapter of a cognitive, didactic and computational the...
AbstractWe show how the problem of code generation for a simple language can be treated fully algebr...
Specification morphisms underlie the refinement of algebraic specifications and provide the logical ...
Abstract:- This paper is an approach methodology of programming language, considerate like a tuple L...
AbstractA language called ASL for describing structured algebraic specifications is presented. ASL i...
An algebraic programming system is a language built from a fixed algebraic data abstraction and a se...
AbstractAn abstract language for a computer of von Neumann type is presented. This language is consi...
AbstractThe paper proposes an axiomatic approach to specification languages, and introduces notions ...
A new approach to the formal description of programming language semantics is described and illustr...