The Library
Aladin : An abstract machine for integrating functional and procedural programming
Tools
Axford, Tom and Joy, Mike (1996) Aladin : An abstract machine for integrating functional and procedural programming. Journal of Programming Languages, Volume 4 (Number 2). pp. 63-76. ISSN 0963-9306.
PDF
axford_joy_jpl.pdf - Accepted Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (143Kb) |
Abstract
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 | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | Journal of Programming Languages | ||||
Publisher: | Chapman Hall Ltd. | ||||
ISSN: | 0963-9306 | ||||
Official Date: | 1996 | ||||
Dates: |
|
||||
Volume: | Volume 4 | ||||
Number: | Number 2 | ||||
Page Range: | pp. 63-76 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Date of first compliant deposit: | 27 December 2015 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |