3583 search results - page 102 / 717 » A Type System for the Relational Calculus of Object Systems |
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
VLDB
2004
ACM
14 years 2 months ago
2004
ACM
We present an annotation management system for relational databases. In this system, every piece of data in a relation is assumed to have zero or more annotations associated with ...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
When people interact, they follow distinct rules that coordinate the order of speech, who opens doors, whom and how to greet, and many things more. Such a social codex depends on ...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...