<%@ 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-205
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
W.M. Beynon,
Programming Principles for the Semantics of the Semantics of Programs
(January 1, 1992).
Abstract
Fundamental concerns of relevance to programming are raised by Brian
Smith. These focus on the relation that holds between a program
and the world outside - the semantics of what is referred to by computer
scientists as the semantics of the program. This paper explains how
programming concepts developed by the author in collaboration with others
may contribute to "a theoretical framework that does justice to practice"
such as is discussed by Smith.
Download
cs-rr-205.pdf
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>