<%@ 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-400
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
Aleksandar Dimovski and Ranko Lazic,
CSP Representation of Game Semantics for Second-order Idealized Algol
(May 21, 2004).
Abstract
We show how game semantics of an interesting fragment of Idealised Algol
can be represented compositionally by CSP processes. This enables
observational equivalence and a range of properties of terms-in-context
(i.e. open program fragments) to be checked using the FDR tool.
We have built a prototype compiler which implements the representation,
and initial experimental results are positive.
Download
cs-rr-400.pdf
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>