3583 search results - page 112 / 717 » A Type System for the Relational Calculus of Object Systems |
WISE
2000
Springer
14 years 1 months ago
2000
Springer
XML (Extensible Markup Language) is a textual markup language designed for the creation of self-describing documents. Such documents contain textual data combined with structural ...
COLING
1990
13 years 10 months ago
1990
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
ICTAI
1993
IEEE
14 years 1 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
APLAS
2010
ACM
13 years 9 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...