A Constructive Approach to Compiler Correctness

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title A Constructive Approach to Compiler Correctness
 
Creator Mosses, Peter D.
 
Description It is suggested that denotational semantic definitions of programming languages should be based on a small number of abstract data types, each embodying a fundamental concept of computation. Once these fundamental abstract data types have been implemented in a particular target language (e.g. stack-machine code), it is a simple matter to construct a correct compiler for any source language from its denotational semantic definition. The approach is illustrated by constructing a compiler similar to the one which was proved correct by Thatcher, Wagner Et Wright ( 1979). Some familiarity with many-sorted algebras is presumed.
 
Publisher Aarhus University
 
Contributor
 
Date 1980-04-01
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Format application/pdf
 
Identifier http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/6536
10.7146/dpb.v9i118.6536
 
Source DAIMI Report Series; No 118 (1980): PB-118 A Constructive Approach to Compiler Correctness
DAIMI Report Series; No 118 (1980): PB-118 A Constructive Approach to Compiler Correctness
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/6536/5655
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library