DAM
1999
14 years 7 days ago
1999
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
APLAS
2007
ACM
14 years 4 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
ICFP
1999
ACM
14 years 4 months ago
1999
ACM
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...