5130 search results - page 50 / 1026 » Constraint Query Languages |
107
Voted
SAC
2010
ACM
15 years 7 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
15 years 7 months ago
2008
IEEE
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
PPDP
2001
Springer
15 years 5 months ago
2001
Springer
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ Òع × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö Øݺ ÁÒ Ø × Ô...
92
Voted
PLDI
1998
ACM
15 years 4 months ago
1998
ACM