Mehdi Dastani, Jomi F. Hübner, Brian Logan (eds.)
Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 2012, Revised Selected Papers, pages 138–157
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 7837
Springer Berlin Heidelberg, Berlin, Heidelberg
2013
Typing is a fundamental mechanism adopted in mainstream programming languages, important in particular when developing programs of a certain complexity to catch errors at compile time, before executing a program, and to improve the overall design of a system. In this paper we introduce typing also in agent-oriented programming, by using a novel agent programming language called simpAL, which has been conceived from scratch to have this feature.
keywords
simpAL, agent-oriented programming, typing, agent programming languages
reference talk
origin event
journal or series
Lecture Notes in Computer Science
(LNCS)
container publication
works as
reference publication for talk
superseding publication for
Typing Multi-Agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012, 05/06/2012) — Andrea Santi (Andrea Santi)
PROMAS 2012 @ AAMAS 2012
Programming Multi-Agent Systems (edited volume, 2013) — Mehdi Dastani, Jomi F. Hübner, Brian Logan