4716 search results - page 15 / 944 » Iterative-free program analysis |
IWOMP
2010
Springer
14 years 1 months ago
2010
Springer
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
ESOP
2011
Springer
13 years 1 months ago
2011
Springer
ICLP
2003
Springer
14 years 2 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...