4716 search results - page 15 / 944 » Iterative-free program analysis |
162
Voted
IWOMP
2010
Springer
15 years 11 months ago
2010
Springer
148
Voted
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
185
Voted
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
204
Voted
ESOP
2011
Springer
14 years 11 months ago
2011
Springer
209
Voted
ICLP
2003
Springer
16 years 19 days 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...