1097 search results - page 106 / 220 » Revision Programming = Logic Programming Integrity Constra... |
173
Voted
JCST
2010
14 years 10 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
140
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
216
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
179
Voted
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
110
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...