Sren B. Lassen, Peter D. Mosses, and David A. Watt. An introduction to AN-2, the proposed new version of Action Notation. In Mosses and Moura [15], pages 19--36. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Implementing Actions - van der Storm (2003) (Correct)
....a way to compile actions to C and Java. Section 3.5 describes the intermediate language approach. We conclude with assessment of the strategies presented, and a discussion of related work. 3. 2 Action Semantics for Dummies In this section we give a short introduction to the new Action Notation [24, 32]. The central concept of action semantics is the action. An action is a computational entity that takes tuples of data and gives tuples of data. Actions can be primitive (e.g. computing a data operation, updating a cell) or combined using combinators that capture the various flows of data and ....
....specification, on the other hand, terminates when agent main (the input action) has terminated. This is in contrast to the informal introduction to AN2 where the authors state that Action performance by agents is fair : the performance of every action that has not terminated eventually proceeds [24]. We chose the fairness approach since it seems the most reasonable and is applied in many other programming languages as well (e.g. Java) 4.3.3 Extension of acr In this section we present a solution to making acr extensible with user defined primitive actions. The current implementation of acr ....
Sren B. Lassen, Peter D. Mosses, and David A. Watt. An introduction to AN-2, the proposed new version of Action Notation. In Mosses and de Moura [36], pages 19--36.
Basic Research in Computer Science - Constructive Action Semantics Self-citation (Mosses) (Correct)
No context found.
Sren B. Lassen, Peter D. Mosses, and David A. Watt. An introduction to AN-2, the proposed new version of Action Notation. In Mosses and Moura [15], pages 19--36.
Basic Research in Computer Science - An Action Environment Self-citation (Mosses) (Correct)
No context found.
S. B. Lassen, P. D. Mosses, and D. A. Watt. An introduction to AN-2, the proposed new version of Action Notation. In AS 2000.
Basic Research in Computer Science - Type Checking Semantic (Correct)
No context found.
S. B. Lassen, P. D. Mosses, and D. A. Watt. An introduction to AN2, the proposed new version of Action Notation. In P. D. Mosses and H. Moura, editors, Proceedings of the 3rd International Workshop on Action Semantics, AS 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC