1117 search results - page 106 / 224 » Partial Models of Extended Generalized Logic Programs |
102
click to vote
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
121
click to vote
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
Recently, the high-performance computing community has realized that power is a performance-limiting factor. One reason for this is that supercomputing centers have limited power ...
197
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
128
click to vote
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
113
click to vote
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...