2004 search results - page 121 / 401 » Interaction nets: programming language design and implementa... |
164
click to vote
CLIMA
2004
15 years 7 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
134
Voted
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
159
click to vote
AIPS
2007
15 years 8 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
167
Voted
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
138
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...