3583 search results - page 95 / 717 » A Type System for the Relational Calculus of Object Systems |
RIAO
2000
13 years 10 months ago
2000
We present a framework to analyze color documents of complex layout. In addition, no assumption is made on the layout. Our framework combines in a content-driven bottom-up approac...
LCPC
1992
Springer
14 years 1 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
IJCSA
2006
13 years 9 months ago
2006
People use "name" in general to reference things easily. In addition, one name may refer to various types of things or objects (one name
IANDC
2010
13 years 7 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...