𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An ASM-based Formal Model of a Java Program

✍ Scribed by A. Zamulin

Book ID
110441810
Publisher
SP MAIK Nauka/Interperiodica
Year
2003
Tongue
English
Weight
86 KB
Volume
29
Category
Article
ISSN
0361-7688

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

JavaLog: a framework-based integration o
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
✍ Analı́a Amandi; Marcelo Campo; Alejandro Zunino πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 279 KB

Intelligent agent development has imposed new challenges on the necessary language support. Object-oriented languages have been proposed as an appropriate tool, although logic-oriented languages are more adequate for managing mental attitudes. Multi-paradigm languages supporting encapsulation of act