11214 search results - page 157 / 2243 » Programming Multi-agent Systems |
127
click to vote
POPL
1989
ACM
15 years 10 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
164
click to vote
ICAD
2004
15 years 7 months ago
2004
This paper provides a summary of previous work done in the area of external auditory representations of programs (known as program auralisation). A brief historical review is give...
168
click to vote
ENTCS
2002
15 years 6 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
190
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
150
Voted
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...