11214 search results - page 131 / 2243 » Programming Multi-agent Systems |
194
click to vote
CL
2012
Springer
13 years 7 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
167
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
205
click to vote
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
170
click to vote
POPL
2012
ACM
14 years 19 days ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
149
click to vote
GPEM
2002
15 years 4 months ago
2002
Push is a programming language designed for the expression of evolving programs within an evolutionary computation system. This article describes Push and illustrates some of the o...