| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 436772 | Theoretical Computer Science | 2006 | 18 Pages |
Abstract
In this paper, we give an operational and denotational semantics for a meta-language of the 3APL agent programming language. With this meta-language, various 3APL interpreters can be programmed. We prove equivalence of the operational and denotational semantics. Furthermore, we give an operational semantics for object-level 3APL. Using this semantics, we relate the 3APL meta-language to object-level 3APL by providing a specific interpreter, the semantics of which will prove to be equivalent to object-level 3APL.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
