Sciweavers

5130 search results - page 50 / 1026
» Constraint Query Languages
Sort
View
SAC
2010
ACM
15 years 10 months ago
Variable ranges in linear constraints
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
Salvatore Ruggieri, Fred Mesnard
FDL
2008
IEEE
15 years 9 months ago
UML 2.0 Interactions with OCL/RT Constraints
Daniel Calegari, María Victoria Cengarle, N...
PPDP
2001
Springer
15 years 7 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo
PLDI
1998
ACM
15 years 7 months ago
Partial Online Cycle Elimination in Inclusion Constraint Graphs
Manuel Fähndrich, Jeffrey S. Foster, Zhendong...