This paper presents an introduction to the paradigm of agent-oriented programming based on a particular language called AgentSpeak(L). Examples of agents programmed in that language are given in order to facilitate the understanding of the language. Basic concepts on multi-agent systems and intelligent agents are given so as to provide the reader with a self-contained material. The paper also p...

We will present our ongoing work on a new proof assistant and deduction system named PML. The basic idea is to start from an MLlike programming language and add specification and proof facilities. On the programming language side, the language unifies certain concepts: PML uses only one notion of sum types (polymorphic variants) and one notion of products (extensible records). These can then be...

The jLab environment extends the potential of Java for scientific computing. It provides a Matlab/Scilab like scripting language that is executed by an interpreter implemented in the Java language. The scripting language supports the basic programming constructs with Matlab like matrix manipulation operators. The jLab "core" provides the general purpose functionality with an extensive set of bu...

Some basic programming constructs (e.g., conditional statements) are found in many different programming languages, and can often be included without change when a new language is designed. When writing a semantic description of a language, however, it is usually not possible to reuse parts of previous descriptions without change. This paper introduces a new formalism, ASDF, which has been desi...

This paper describes the experience, problems and successes found in implementing a unix-like operating system kernel in rust. Using the basic design and much of the lowest-level support code from the Weenix operating system written for CS167/9 I was able to create a basic kernel supporting multiple kernel processes scheduled cooperatively, drivers for the basic devices and the beginnings of a ...

This paper is an analysis of the characteristics of software agents and multi-agent systems aiming at deriving the basic concepts and capabilities that a “good” agent programming language should have. The paper deals with this topic from two different point of views: it analyzes agent’s properties in order to understand which language constructs and abstractions could be worth, and then refines...

In this paper, we propose a new approach which can automatically acquire translation templates from the unannotated bilingual spoken language corpora in the domain of travel information accessing. In the approach, two basic algorithms named grammar induction algorithm and dynamic programming algorithm are adopted. Our approach is an unsupervised, statistical, data-driven method which avoids the...

Assembly language programming has been for long used as a teaching tool for computer systems. However, this approach suffers from the difficulties that are inherent to its low-level instructions. The present teaching approachmerges the assembly language course with microcomputers technology by means of structured pseudo-coding. The method is based on a classification of the assembly instruction...

This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By successively applying design patterns such as the Serializer, Factory Method, and Strategy patterns we develop an object-oriented framework for providing object persistence. The advantages of object-orientation are highlighted...

The aim of this paper is to propose an open object-oriented modelling language (Java [5], C++ [7], Eiffel [9]...) that we named OpenIDL. This is an extension of IDL which implements the approach promoted by the OFL (Open Flexible Language) model [1,2,3,4]. This model intends to customise the behaviour of relationships between classes (we call them descriptions). OpenIDL handles two different pr...