692 search results - page 1 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
ICLP
1992
Springer
14 years 10 months ago
1992
Springer
CIE
2006
Springer
14 years 10 months ago
2006
Springer
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
WIA
1999
Springer
14 years 11 months ago
1999
Springer
Abstract. In computer science methods to aid learning are very imporcause abstract models are used frequently. For this conventional teaching methods do not suffice. We have develo...
IDA
2007
Springer
15 years 24 days ago
2007
Springer
Abstract. Finite mixture models can be used in estimating complex, unknown probability distributions and also in clustering data. The parameters of the models form a complex repres...
CAV
2006
Springer
14 years 10 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...