Typing Multi-agent Programs in simpAL

   Info_icon.svg       BibTeX_logo.svg   
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
Talk_icon.svg Typing Multi-Agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012, 05/06/2012) — Andrea Santi
origin event
Event_icon.svg PROMAS 2012 @ AAMAS 2012
journal or series
Journal_icon.svg Lecture Notes in Computer Science (LNCS)
container publication
Publication_icon.svg Programming Multi-Agent Systems (edited volume, 2013) — Mehdi Dastani, Jomi F. Hübner, Brian Logan
works as
reference publication for talk
Talk_icon.svg Typing Multi-Agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012, 05/06/2012) — Andrea Santi
superseding publication for
Publication_icon.svg Typing Multi-Agent Programs in simpAL (paper in proceedings, 2012) — Alessandro Ricci, Andrea Santi