3583 search results - page 111 / 717 » A Type System for the Relational Calculus of Object Systems |
ICMCS
2009
IEEE
13 years 6 months ago
2009
IEEE
Rich online map interaction represents a useful tool to get multimedia information related to physical places. With this type of systems, users can automatically compute the optim...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
CONCUR
2006
Springer
14 years 22 days ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
ICFEM
1998
Springer
14 years 1 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
USENIX
1994
13 years 10 months ago
1994
The Spring operating system provides a uniform name service that can be used to associate any name with any object independent of the type of object, and allows arbitrary name spa...