2231 search results - page 148 / 447 » Alternation as a programming paradigm |
210
Voted
DBPL
2007
Springer
15 years 11 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...
229
click to vote
JELIA
2010
Springer
15 years 5 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...
201
click to vote
SIGSOFT
2010
ACM
15 years 5 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...
238
click to vote
ECP
1997
Springer
15 years 11 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...
190
Voted
ICSE
1995
IEEE-ACM
15 years 11 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...