348 search results - page 45 / 70 » Using Case-Based Reasoning to Write Constraint Programs |
188
click to vote
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
192
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
112
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
126
click to vote
AGP
1995
IEEE
15 years 6 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
112
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...