5506 search results - page 337 / 1102 » Minimal Logic Programs |
132
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
Ripple-carry architectures are the norm in today's reconfigurable fabrics. They are simple, require minimal routing, and are easily formed across arbitrary cells in a fabric....
164
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
148
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
146
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
151
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...