1204 search results - page 148 / 241 » Termination of Polynomial Programs |
120
Voted
ENTCS
2000
15 years 3 months ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
194
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
136
Voted
DAGSTUHL
1996
15 years 4 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
133
click to vote
ESOP
2010
Springer
16 years 28 days ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
128
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...