1671 search results - page 68 / 335 » Language Constructs for Multi-agent Programming |
116
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
99
Voted
PLILP
1994
Springer
15 years 6 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
144
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
151
Voted
ASE
2005
15 years 2 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
116
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....