Add to ORKGWe present a specification logic for dynamic object systems that combines modalities with connectives expressing distribution, hiding and signature extension. The logic is given a semantics in certain abstract process structures and its usefulness illustrated by some simple examples
We introduce Dynamic SOS as a framework for describing semantics of programming languages that inclu...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
We present Multi-Object Dynamic Logic (MODL), a generalization of Dynamic Logic of which the intende...
We propose a specification logic based on a ¯-calculus enriched with explicit signatures and certain...
Using algebras over some signature to model the notion of state is quite common in specification lan...
The popularity of the notion of object for structuring (the specification of) systems has not been a...
Abstract. We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that...
An equational language to specify object-oriented conceptual models is defined. Objects are consider...
Dynamic method dispatch is a core feature of object-oriented programming by which the executed imple...
In this paper we propose a number of extensions for object-oriented models in order to describe dyna...
In this paper we give a representation of a weakest precondition calculus for abstract object creat...
Dynamic method dispatch is a core feature of object-oriented programming by which the executed imple...
We propose an alternative notation and semantics for process models in object analysis, to resolve p...
Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic...
We introduce Dynamic SOS as a framework for describing semantics of programming languages that inclu...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
We present Multi-Object Dynamic Logic (MODL), a generalization of Dynamic Logic of which the intende...
We propose a specification logic based on a ¯-calculus enriched with explicit signatures and certain...
Using algebras over some signature to model the notion of state is quite common in specification lan...
The popularity of the notion of object for structuring (the specification of) systems has not been a...
Abstract. We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that...
An equational language to specify object-oriented conceptual models is defined. Objects are consider...
Dynamic method dispatch is a core feature of object-oriented programming by which the executed imple...
In this paper we propose a number of extensions for object-oriented models in order to describe dyna...
In this paper we give a representation of a weakest precondition calculus for abstract object creat...
Dynamic method dispatch is a core feature of object-oriented programming by which the executed imple...
We propose an alternative notation and semantics for process models in object analysis, to resolve p...
Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic...
We introduce Dynamic SOS as a framework for describing semantics of programming languages that inclu...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...