314 search results - page 16 / 63 » An Imperative Object Calculus |
BIRTHDAY
2000
Springer
14 years 1 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
FLAIRS
2000
13 years 10 months ago
2000
In a unified knowledge representation data, information and knowledge are all represented in a single formalism as "items". Objects are item building operators. Items an...
VLDB
1995
ACM
14 years 23 days ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
ACE
2004
13 years 10 months ago
2004
In order to teach object-oriented design and programming in introductory computer science it is imperative to teach objects from the very beginning of the course. The use of inter...