104 search results - page 12 / 21 » Updates in a Rule-Based Language for Objects |
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
WISE
2000
Springer
14 years 2 days ago
2000
Springer
XML (Extensible Markup Language) is a textual markup language designed for the creation of self-describing documents. Such documents contain textual data combined with structural ...
FP
1992
13 years 11 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
ECEASST
2010
13 years 2 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
SIGCOMM
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...