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.

Alessandro Ricci, Andrea Santi (2013). Typing Multi-agent Programs in simpAL. Berlin : SPRINGER Berlin Heidelberg [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.
2013
Programming Multi-Agent Systems - 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
138
157
Alessandro Ricci, Andrea Santi (2013). Typing Multi-agent Programs in simpAL. Berlin : SPRINGER Berlin Heidelberg [10.1007/978-3-642-38700-5_9].
Alessandro Ricci; Andrea Santi
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/153182
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? ND
social impact