3583 search results - page 67 / 717 » A Type System for the Relational Calculus of Object Systems |
WWW
2011
ACM
13 years 3 months ago
2011
ACM
We propose a method to adapt an existing relation extraction system to extract new relation types with minimum supervision. Our proposed method comprises two stages: learning a lo...
FSTTCS
2000
Springer
14 years 14 days ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
CC
2010
Springer
13 years 3 months ago
2010
Springer
We show a general reduction that derives lower bounds on degrees of polynomial calculus proofs of tautologies over any field of characteristic other than 2 from lower bounds for r...
ECOOP
2007
Springer
14 years 3 months ago
2007
Springer
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...