We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...