Sciweavers

5130 search results - page 34 / 1026
» Constraint Query Languages
Sort
View
ECEASST
2008
121views more  ECEASST 2008»
15 years 2 months ago
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
Mirco Kuhlmann, Martin Gogolla
PPDP
2009
Springer
15 years 8 months ago
A framework for abstract interpretation of timed concurrent constraint programs
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
VL
2000
IEEE
129views Visual Languages» more  VL 2000»
15 years 6 months ago
Implementation of a Constraint-Based Visualization System
Isabel F. Cruz, Peter S. Leveille
66
Voted
PLDI
2000
ACM
15 years 6 months ago
Scalable context-sensitive flow analysis using instantiation constraints
Manuel Fähndrich, Jakob Rehof, Manuvir Das