62 search results - page 1 / 13 » An Abstract Analysis of the Probabilistic Termination of Pro... |
SAS
2001
Springer
13 years 10 months ago
2001
Springer
FMOODS
2008
13 years 7 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
LOPSTR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
POPL
2001
ACM
14 years 5 months ago
2001
ACM
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...