5130 search results - page 50 / 1026 » Constraint Query Languages |
SAC
2010
ACM
14 years 5 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
FDL
2008
IEEE
14 years 5 months ago
2008
IEEE
ECOOP
2004
Springer
14 years 4 months ago
2004
Springer
PPDP
2001
Springer
14 years 3 months ago
2001
Springer
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ Òع × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö Øݺ ÁÒ Ø × Ô...
PLDI
1998
ACM
14 years 3 months ago
1998
ACM