641 search results - page 10 / 129 » Modernizing Plan-Composition Studies |
POPL
2007
ACM
14 years 7 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
SIGCSE
2000
ACM
13 years 11 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
JIKM
2008
13 years 6 months ago
2008
Abstract. Current theories of knowledge management postulate a cycle of knowledge creation, refinement and implementation that hinges on the transformation of tacit, or practical, ...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
FAST
2010
13 years 9 months ago
2010
We present a study of the effects of disk and memory corruption on file system data integrity. Our analysis focuses on Sun's ZFS, a modern commercial offering with numerous r...