Searching for "Object imperatives!" – sorted by Relevance.
-
Flow Logic for Imperative Objects
- Flow Logic for Imperative Objects Flemming Nielson and Hanne Riis Nielson Department of Computer
- Cited by 3 (0 self) – Add To MetaCart
-
An imperative object calculus
- Abstract. We develop an imperative calculus of objects. Its main type constructor is the one
- Cited by 21 (4 self) – Add To MetaCart
-
An Imperative, First-Order Calculus with Object Extension
- An Imperative, First-Order Calculus with Object Extension Viviana Bono 1 and Kathleen Fisher 2 1
- Cited by 30 (9 self) – Add To MetaCart
-
Supporting Universal Personal Computing on the Internet with Java and CORBA
- objects are imperative, which leads to the choice of Java. The system is modeled as distributed objects
- Cited by 4 (0 self) – Add To MetaCart
-
Model invocation for three dimensional scene understanding
- of the potentially huge number of possible objects, it is imperative that only a few serious candidates are selected
- Cited by 3 (2 self) – Add To MetaCart
-
Coalgebraic Semantics of an Imperative Class Based Language
- observational equivalences of Fickle programs. Fickle is a class-based object oriented imperative language
- Cited by 1 (0 self) – Add To MetaCart
-
Objects Dynamically Changing Class
- membership at run-time. These features could extend an imperative, typed, class-based, object
- Cited by 6 (4 self) – Add To MetaCart
-
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language
- -based object oriented imperative language, which extends Java with object re-classification. In this paper, we
- Cited by 1 (1 self) – Add To MetaCart
-
Simultaneous Vehicle and Driver Scheduling: a Case Study in a Limousine Rental Company Abstract
- the maximum workload and optimizes several economic objectives while satisfying a set of imperative
- Add To MetaCart
-
Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics
- , contrary to such imperative object-oriented languages as Smalltalk and C++. The reason
- Cited by 8 (8 self) – Add To MetaCart

