Topics
calculusBook
object oriented programmingProgramming language
This is the second report on TyCO, a (still) experimental strongly and implicitly typed concurrent object oriented programming language based on a predicative polymorphic calculus of objects, featuring asynchronous messages, objects, and process declarations, together with a predicative polymorphic type syste
We present an abstract machine specification for non-uniform TyCO. TyCO is a name-passing calculus o...
[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...
In many concurrent programming languages programs are difficult to extend and modify. This is becaus...
This is the third report on TyCO, a (still) experimental strongly and implicitly typed concurrent ob...
This is the second report on TyCO, a (still) experimental strongly and implicitly typed concurrent o...
TyCO stands for "TYped Concurrent Objects". Not that the language includes any form of primitive obj...
We present an abstract machine specification for TyCO (Typed Concurrent Objects), a namepassing cal...
A framework for the semantic description of concurrent object-oriented languages based on CCS is out...
TSOc is presented as a declarative, object-oriented, concurrent programming language and model. Its ...
AbstractWe obtain a new formalism for concurrent object-oriented languages by extending Abadi and Ca...
. This document aims to provide a formal semantics for an object-oriented language with constructs f...
Formal specification can play an important role in the design, development, and maintenance of concu...
Despite extensive theoretical work on process-calculi, abstract machine specifications and implement...
Abstract. In this paper we put forward a concurrent object-oriented programming language in which co...
The present paper introduces an implicitly typed object calculus intended to capture intrinsic aspec...
We present an abstract machine specification for non-uniform TyCO. TyCO is a name-passing calculus o...
[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...
In many concurrent programming languages programs are difficult to extend and modify. This is becaus...
This is the third report on TyCO, a (still) experimental strongly and implicitly typed concurrent ob...
This is the second report on TyCO, a (still) experimental strongly and implicitly typed concurrent o...
TyCO stands for "TYped Concurrent Objects". Not that the language includes any form of primitive obj...
We present an abstract machine specification for TyCO (Typed Concurrent Objects), a namepassing cal...
A framework for the semantic description of concurrent object-oriented languages based on CCS is out...
TSOc is presented as a declarative, object-oriented, concurrent programming language and model. Its ...
AbstractWe obtain a new formalism for concurrent object-oriented languages by extending Abadi and Ca...
. This document aims to provide a formal semantics for an object-oriented language with constructs f...
Formal specification can play an important role in the design, development, and maintenance of concu...
Despite extensive theoretical work on process-calculi, abstract machine specifications and implement...
Abstract. In this paper we put forward a concurrent object-oriented programming language in which co...
The present paper introduces an implicitly typed object calculus intended to capture intrinsic aspec...
We present an abstract machine specification for non-uniform TyCO. TyCO is a name-passing calculus o...
[Programming Languages] Language Constructs and Features — abstract data types, control structures, ...
In many concurrent programming languages programs are difficult to extend and modify. This is becaus...
Add to ORKG