98 search results - page 12 / 20 » Constraints as polymorphic connectors |
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
EDOC
2003
IEEE
15 years 3 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
ECOOP
1998
Springer
15 years 2 months ago
1998
Springer
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
ISORC
2009
IEEE
15 years 5 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...