558 search results - page 60 / 112 » A Compiler Design for the Agent-Based Programming Language |
154
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
129
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
108
click to vote
DBPL
1991
Springer
15 years 6 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
112
click to vote
IJCAI
2001
15 years 4 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
148
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...