Sciweavers

5130 search results - page 50 / 1026
» Constraint Query Languages
Sort
View
SAC
2010
ACM
15 years 9 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 8 months ago
UML 2.0 Interactions with OCL/RT Constraints
Daniel Calegari, María Victoria Cengarle, N...
110
Voted
ECOOP
2004
Springer
15 years 7 months ago
Customization of Java Library Classes Using Type Constraints and Profile Information
Bjorn De Sutter, Frank Tip, Julian Dolby
109
Voted
PPDP
2001
Springer
15 years 6 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo
PLDI
1998
ACM
15 years 6 months ago
Partial Online Cycle Elimination in Inclusion Constraint Graphs
Manuel Fähndrich, Jeffrey S. Foster, Zhendong...