4438 search results - page 466 / 888 » The Case for Collaborative Programming |
179
click to vote
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
182
click to vote
ASPLOS
2004
ACM
16 years 8 days ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
178
click to vote
ICTAC
2004
Springer
16 years 7 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
191
click to vote
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
224
click to vote
AGP
2003
IEEE
16 years 4 days ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...