11214 search results - page 133 / 2243 » Programming Multi-agent Systems |
156
click to vote
ECEASST
2006
15 years 5 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
129
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
169
click to vote
POPL
2012
ACM
14 years 20 days ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...