3470 search results - page 317 / 694 » Head-Elementary-Set-Free Logic Programs |
145
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
260
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
295
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
163
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
173
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...