174 search results - page 20 / 35 » A Typeful Approach to Object-Oriented Programming with Multi... |
APSEC
1998
IEEE
13 years 11 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
PADL
1999
Springer
13 years 11 months ago
1999
Springer
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...
VLDB
2002
ACM
13 years 6 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
ECOOP
2006
Springer
13 years 10 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
POPL
2012
ACM
12 years 2 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...