1204 search results - page 22 / 241 » Termination of Polynomial Programs |
CORR
2000
Springer
13 years 10 months ago
2000
Springer
CORR
2000
Springer
13 years 10 months ago
2000
Springer
CORR
2002
Springer
13 years 10 months ago
2002
Springer
POPL
2009
ACM
14 years 11 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 ...
FMCO
2007
Springer
14 years 5 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, (...