Sciweavers

Share
DAM
1999
89views more  DAM 1999»
9 years 2 months ago
Accuracy of Techniques for the Logical Analysis of Data
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
Martin Anthony
APLAS
2007
ACM
9 years 6 months ago
Complete Lattices and Up-To Techniques
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...
Damien Pous
ICFP
1999
ACM
9 years 6 months ago
Atomic Heap Transactions and Fine-grain Interrupts
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...
Olin Shivers, James W. Clark, Roland McGrath
books