169 search results - page 17 / 34 » Adding Structure to Agent Programming Languages |
114
Voted
ENTCS
2006
15 years 1 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
111
Voted
LADS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
124
click to vote
ICALP
1999
Springer
15 years 6 months ago
1999
Springer
We introduce new techniques for studying the structure of partial k-trees. In particular, we show that the complements of partial k-trees provide an intuitively-appealing character...
118
Voted
IFL
2007
Springer
15 years 8 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
101
Voted
TOOLS
2010
IEEE
15 years 6 months ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...