Add to ORKGWe study two observational equivalences of Fickle programs. Fickle is a class-based object oriented imperative language..
We present a sound and complete method for reasoning about con-textual equivalence between different...
We present a sound and complete method for reasoning about contextual equivalence between different ...
This paper presents the Coalgebraic Class Specification Language CCSL that is developed within the L...
Fickle is a class-based object oriented imperative language, which extends Java with object re- clas...
The coalgebraic perspective on objects and classes in object-oriented programming is elaborated: obj...
AbstractThis note briefly discusses how some of the ideas developed in the theory of coalgebras are ...
This note briefly discusses how some of the ideas developed in the theory of coalgebras are used in ...
Fickle is an exciting development in object oriented programming, characterized by the ability of an...
We present a translation from Fickle, a small object-oriented language allowing objects to change th...
A useful tool for modelling behaviour in theoretical computer science is the concept of coalgebras. ...
In this paper, we give a denotational semantics of imperative programming languages as a CafeOBJ beh...
Program analysis and specialisation for declarative languages have been subjects of active research ...
The semantics of an imperative programming language can be expressed as a program in a declarative ...
Operational semantics is a known and popular semantic method for describing the execution of program...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
We present a sound and complete method for reasoning about con-textual equivalence between different...
We present a sound and complete method for reasoning about contextual equivalence between different ...
This paper presents the Coalgebraic Class Specification Language CCSL that is developed within the L...
Fickle is a class-based object oriented imperative language, which extends Java with object re- clas...
The coalgebraic perspective on objects and classes in object-oriented programming is elaborated: obj...
AbstractThis note briefly discusses how some of the ideas developed in the theory of coalgebras are ...
This note briefly discusses how some of the ideas developed in the theory of coalgebras are used in ...
Fickle is an exciting development in object oriented programming, characterized by the ability of an...
We present a translation from Fickle, a small object-oriented language allowing objects to change th...
A useful tool for modelling behaviour in theoretical computer science is the concept of coalgebras. ...
In this paper, we give a denotational semantics of imperative programming languages as a CafeOBJ beh...
Program analysis and specialisation for declarative languages have been subjects of active research ...
The semantics of an imperative programming language can be expressed as a program in a declarative ...
Operational semantics is a known and popular semantic method for describing the execution of program...
In these lecture notes we present a few basic approaches to the definition of the semantics of progr...
We present a sound and complete method for reasoning about con-textual equivalence between different...
We present a sound and complete method for reasoning about contextual equivalence between different ...
This paper presents the Coalgebraic Class Specification Language CCSL that is developed within the L...