Aladin: An abstract machine for integrating functional and procedural programming
UNSPECIFIED. (1996) Aladin: An abstract machine for integrating functional and procedural programming. JOURNAL OF PROGRAMMING LANGUAGES, 4 (2). pp. 63-76. ISSN 0963-9306Full text not available from this repository.
Pure functional languages have previously been difficult to integrate with the more common procedural or state-transition style of programming. This paper proposes a simple abstract machine, Aladin, that has pure functional language semantics, with normal-order (lazy) evaluation. Aladin has no built-in primitive functions, however, but operates with primitive functions implemented in any convenient programming language, functional or procedural. The strictness of arguments and results of all primitive functions is specified as part of the definition of the primitive function, allowing very detailed control of the evaluation mechanism. In addition, the Aladin machine is embedded within a state-transition environment that provides for real-time operation and ordered input/output.
|Item Type:||Journal Article|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Journal or Publication Title:||JOURNAL OF PROGRAMMING LANGUAGES|
|Publisher:||CHAPMAN HALL LTD|
|Number of Pages:||14|
|Page Range:||pp. 63-76|
Actions (login required)