2501 search results - page 14 / 501 » Obligations and Their Interaction with Programs |
OOGRAPHICS
1995
14 years 5 days ago
1995
IFIP
2009
Springer
13 years 6 months ago
2009
Springer
MPC
2004
Springer
14 years 2 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
IFIP
2009
Springer
14 years 1 months ago
2009
Springer
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...