<%@ 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-023
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
W.W. Wadge,
Programming Constructs for Nonprocedural Languages
(March 1, 1978).
Abstract
In this paper how a pure denotative (nonprocedural) language based on
the lambda calculus can be provided with purely denotative analogs of the
various constructs - such as while loops, blocks, case statements and the
like - of conventional imperative structured programming languages. They
can be simulated quite adequately using only two simple tools: phrases,
which are compound expressions not unlike blocks, and pronouns, special
variables not unlike keywords between which certain relationships are
'understood' to hold.
Download
cs-rr-023.txt.gz
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>