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.
Typing Multi-agent Programs in simpAL / Alessandro Ricci; Andrea Santi. - STAMPA. - 7837:(2013), pp. 138-157. (Intervento presentato al convegno 10th International Workshop, ProMAS 2012 tenutosi a Valencia, Spain nel June 5, 2012) [10.1007/978-3-642-38700-5_9].
Typing Multi-agent Programs in simpAL
RICCI, ALESSANDRO;SANTI, ANDREA
2013
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.