<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Report CS-RR-355
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
Gary Meehan,
The Aladin Abstract Machine
(December 18, 1998).
Abstract
The Aladin Abstract Mac hine (AAM) provides a completely abstract
definition of a functional language. There are no primitives built into
Aladin, instead primitives are in tended to be programmed in any language,
functional or imperative and imported in to the AAM. In this report we
develop an efficient operational semantics for the AAM using the original
denotational semantics as our starting point. We then use this semantics
to develop an implementation of Aladin, using the Java language, with
the ability to write programs in an Aladin scripting language that we
develop, and primitives written in C/C++, Java and Ginger.
Download
cs-rr-355.ps.gz
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>