Article

Free access

Transformations of denotational semantics in semantics directed compiler generation

Author:

Veronique RoyerAuthors Info & Claims

SIGPLAN '86: Proceedings of the 1986 SIGPLAN symposium on Compiler construction

Pages 68 - 73

https://doi.org/10.1145/12276.13318

Published: 01 July 1986 Publication History

PDF eReader

Abstract

In semantics-directed compiler generation one is faced with the problem of how to translate a source semantic definition of a programming language into on equivalent target semantics closer to an implementation. Most of the existing works solve this problem in a non constructive way : a target semantics is exhibited first and then only proved correct against the source. We try to show that target semantics can be derived from source semantics in a constructive way and so that some correctness ideas are automatically preserved. The framework is denotational semantics.

References

[1]

J.A. Coguen and J.W. Thatcher, E.G. Wagner, J.B. Wright} "Initial Algebra Semantics and Continuous Algebras" (JACM 24,1, Jan 1977).

Digital Library

Google Scholar

[2]

R. Milne & C. Strachey "A Theory of Programming Language Semantics". (1976, Chapman and Hall).

Digital Library

Google Scholar

[3]

F.L. Morris "Advice on structuring compilers and proving them correct". Proc. ACM Symposium on Principles of Programming Languages (1973, pp. 144-152).

Digital Library

Google Scholar

[4]

P. Mosses "A Constructive Approach to Compiler Correctness". Proceedings of 7th ICALP, LNCS 85 (1980).

Digital Library

Google Scholar

[5]

V. Royer forthcomming thesis

Google Scholar

[6]

D. Scott 'Data Types as Lattices". (SLAM J~ COMPUT. 5,3 Sept. 1976).

Google Scholar

[7]

J.E. Stoy "Denotational Semantics : the Scott-Strachey Approach to Programming Languages Theory" (MIT Press, 1977).

Digital Library

Google Scholar

[8]

J.B. Stoy "The congruence of two programming language definitions". (T.C.S. 13, pp. 151-174, 1981).

Crossref

Google Scholar

[9]

M. Wand "Deriving Target Code as a Representation of Continuation Semantics" (ACM-TOPLAS, 4,3, july 1982).

Digital Library

Google Scholar

Cited By

View all

Janssen T(1999)An overview of compositional translationsCompositionality: The Significant Difference10.1007/3-540-49213-5_12(327-349)Online publication date: 21-May-1999
https://doi.org/10.1007/3-540-49213-5_12
Lee PPleban U(1987)A realistic compiler generator based on high-level semantics: another progress reportProceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/41625.41651(284-295)Online publication date: 1-Oct-1987
https://dl.acm.org/doi/10.1145/41625.41651

Index Terms

Recommendations

Transformations of denotational semantics in semantics directed compiler generation

In semantics-directed compiler generation one is faced with the problem of how to translate a source semantic definition of a programming language into on equivalent target semantics closer to an implementation. Most of the existing works solve this ...
Denotational semantics-directed compiler generation for data flow machines
Compile-time evaluation and code generation for semantics-directed compilers (denotational)

Comments

Information & Contributors

Information

Published In

SIGPLAN '86: Proceedings of the 1986 SIGPLAN symposium on Compiler construction

July 1986

275 pages

ISBN:0897911970

DOI:10.1145/12276

Editor:
Richard L Wexelblat
Philips Laboratories, Briarcliff Manor, NY

ACM SIGPLAN Notices Volume 21, Issue 7
July 1986
275 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/13310
Editor:
Richard L. Wexelblat
Philips Laboratories, Briarcliff Manor, NY
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1986

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SCC86

Sponsor:

SIGPLAN

SCC86: SIGPLAN Symposium on Compiler Construction

June 25 - 27, 1986

California, Palo Alto, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
276
Total Downloads

Downloads (Last 12 months)25
Downloads (Last 6 weeks)11

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Janssen T(1999)An overview of compositional translationsCompositionality: The Significant Difference10.1007/3-540-49213-5_12(327-349)Online publication date: 21-May-1999
https://doi.org/10.1007/3-540-49213-5_12
Lee PPleban U(1987)A realistic compiler generator based on high-level semantics: another progress reportProceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/41625.41651(284-295)Online publication date: 1-Oct-1987
https://dl.acm.org/doi/10.1145/41625.41651

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Transformations of denotational semantics in semantics directed compiler generation

Denotational semantics-directed compiler generation for data flow machines

Compile-time evaluation and code generation for semantics-directed compilers (denotational)