1204 search results - page 22 / 241 » Termination of Polynomial Programs |
CORR
2000
Springer
15 years 9 days ago
2000
Springer
CORR
2000
Springer
15 years 9 days ago
2000
Springer
60
Voted
CORR
2002
Springer
15 years 9 days ago
2002
Springer
202
click to vote
POPL
2009
ACM
16 years 1 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 ...
91
Voted
FMCO
2007
Springer
15 years 6 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, (...