1204 search results - page 22 / 241 » Termination of Polynomial Programs |
100
Voted
CORR
2000
Springer
15 years 5 months ago
2000
Springer
CORR
2002
Springer
15 years 5 months ago
2002
Springer
267
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
143
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...