C. A. R. Hoare, Jifeng He, Jonathan P. Bowen, Paritosh Pandya  Home/Search
Context Related
| museophile.sbu.ac.uk/pub...esprit90.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: museophile.sbu.ac.uk/pub/jpb/ (more) Homepages: J.He J.Bowen |
Rate this article:      (best)Comment on this article |
Abstract: A compiler is specified by a description of how each construct of the source language is translted into a sequence of object code instructions. The meaning of the object code can be defined by an interpreter written in the source language itself. A proof that the compiler is correct must show that the interpretation of the object code is at least as good (for any relevant purpose) as the corresponding source program. (Update)
Similar documents based on text: More All
2.0: An Algebraic Approach to Verifiable Compiling.. - Hoare, He, Bowen, Pandya (1990) (Correct)
0.8: An Approach to Verifiable Compiling Specification and.. - Bowen, He, Pandya (1990) (Correct)
0.6: Verification Tools in the Development of Provably Correct.. - Rao, Pandya, Shymasunder (1993) (Correct)
BibTeX entry: (Update)
C.A.R. Hoare, He Jifeng, J.P. Bowen and P.K. Pandya, An algebraic approach to verifiable compiling specification and prototyping of the ProCoS level 0 programming language, in ESPRIT '90 Conference Proceedings, Kluwer Academic Publishers, pp. 804--818, 1990. http://citeseer.ist.psu.edu/hoare90algebraic.html More
@inproceedings{ hoare90algebraic,
author = "C. A. R. Hoare and {He Jifeng} and Jonathan P. Bowen and Paritosh K. Pandya",
title = "An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the {ProCoS} Level 0 Programming Language",
booktitle = "{ESPRIT} '90 Conference Proceedings",
publisher = "Kluwer Academic Publishers",
pages = "804-818",
year = "1990",
url = "citeseer.ist.psu.edu/hoare90algebraic.html" }
Citations (may not include all citations):363 Programming in Prolog (context) - Clocksin, Mellish - 1981
49 Refinement algebraproves correctness of compiling specificat.. (context) - Hoare - 1990
37 Software---Practiceand Experience (context) - Warren - 1980
29 Theoretical Computer Science (context) - Roscoe, Hoare - 1988
29 Prentice Hall International Series in Computer Science (context) - Limited, Reference - 1988
26 Transputer Instruction Set: A compiler writer's guide (context) - Limited - 1988
11 Quintus Computer Systems (context) - Prolog, Sun et al. - 1988
7 Specification oriented semantics for the ProCoS level 0 lang.. (context) - Jifeng
4 A simulation approach to verification of assembling specific.. (context) - Pandya - 1990
4 Specification of the ProCoS level 0 instruction set (context) - Bowen, Pandya - 1990
4 instruction set (context) - Nicoud, Tyrrell - 1989
4 Operational Semantics for ProCoS Programming Language Level (context) - Jifeng, Hoare - 1989
4 Compiling Specification for ProCoS level 0 language (context) - Jifeng, Pandya et al. - 1990
2 Jensen: Definition of the ProCoS Programming Language Level (context) - Lvengreen - 1989
1 submitted to Programming Language Implementation and Logic P.. (context) - Bowen, Jifeng - 1990
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.museophile.sbu.ac.uk/pub/jpb/): More
An Approach to Verifiable Compiling Specification and.. - Bowen, He, Pandya (1990) (Correct)
Time Interval Semantics and Implementation of a Real-Time.. - He, Bowen (1992) (Correct)
Select Z Bibliography - Bowen (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC