7961 search results - page 203 / 1593 » Input-Output Model Programs |
129
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Mechanisms in AOP (aspect-oriented programming) can be characterized by a JPM (join point model). AOP is effective in unanticipated software evolution because crosscutting concer...
122
Voted
PADL
2004
Springer
15 years 9 months ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
161
Voted
ASP
2001
Springer
15 years 8 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
132
Voted
PPDP
2000
Springer
15 years 7 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
ER
2009
Springer
15 years 10 months ago
2009
Springer
