2231 search results - page 148 / 447 » Alternation as a programming paradigm |
138
click to vote
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
145
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
131
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
169
click to vote
ECP
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
130
click to vote
ICSE
1995
IEEE-ACM
15 years 8 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...