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 of Progra
Abstract:- This paper is an approach methodology of programming language, considerate like a tuple L...
An object-oriented language, called BDOL, is introduced. BDOL, which is a hybrid language supporting...
computer bookfair2015Includes bibliographical references (pages 321-323) and index.x, 326 pages :"St...
We present and analyze the semantics and static type system for BeCecil, a theoretical (core) langua...
[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...
This is the third report on TyCO, a (still) experimental strongly and implicitly typed concurrent ob...
Although most popular object oriented languages use single dispatch, multiple dispatch programming l...
This is the second report on TyCO, a (still) experimental strongly and implicitly typed concurrent o...
International audienceThis book – composed of two volumes – explores the syntactical constructs of t...
Covers the nature of language, syntax, modeling objects, names, expressions, functions, control stru...
Hoare and He's Unifying Theories of Programming (UTP) provides a rich model of programs as relationa...
Keywords: Multimethods, generic functions, object-oriented programming languages, encapsulation, inf...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
Formal specification can play an important role in the design, development, and maintenance of concu...
Functional object-oriented programming language FOPL is an intelligent integrated language which sup...
Abstract:- This paper is an approach methodology of programming language, considerate like a tuple L...
An object-oriented language, called BDOL, is introduced. BDOL, which is a hybrid language supporting...
computer bookfair2015Includes bibliographical references (pages 321-323) and index.x, 326 pages :"St...
We present and analyze the semantics and static type system for BeCecil, a theoretical (core) langua...
[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...
This is the third report on TyCO, a (still) experimental strongly and implicitly typed concurrent ob...
Although most popular object oriented languages use single dispatch, multiple dispatch programming l...
This is the second report on TyCO, a (still) experimental strongly and implicitly typed concurrent o...
International audienceThis book – composed of two volumes – explores the syntactical constructs of t...
Covers the nature of language, syntax, modeling objects, names, expressions, functions, control stru...
Hoare and He's Unifying Theories of Programming (UTP) provides a rich model of programs as relationa...
Keywords: Multimethods, generic functions, object-oriented programming languages, encapsulation, inf...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
Formal specification can play an important role in the design, development, and maintenance of concu...
Functional object-oriented programming language FOPL is an intelligent integrated language which sup...
Abstract:- This paper is an approach methodology of programming language, considerate like a tuple L...
An object-oriented language, called BDOL, is introduced. BDOL, which is a hybrid language supporting...
computer bookfair2015Includes bibliographical references (pages 321-323) and index.x, 326 pages :"St...