42 search results - page 3 / 9 » Extending Variability for OCL Interpretation |
ECML
2001
Springer
13 years 11 months ago
2001
Springer
In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speciļ...
DAGSTUHL
2004
13 years 8 months ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
ICFP
2004
ACM
14 years 6 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
LICS
2008
IEEE
14 years 27 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we deļ¬ne a programming language that provides intrinsic support fo...
INFORMS
2010
13 years 3 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...