1559 search results - page 100 / 312 » The Semantics of Future and Its Use in Program Optimizations |
IJCAI
2007
14 years 11 months ago
2007
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
ASP
2001
Springer
15 years 2 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
FPCA
1989
15 years 1 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...