20 search results - page 1 / 4 » Subtyping and Assignment in Database Programming Languages |
DBPL
1991
Springer
13 years 9 months ago
1991
Springer
ICALP
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
FMOODS
2003
13 years 6 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
ESOP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
CLIMA
2010
13 years 6 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...