article

Free access

Source-to-source translation: Ada to Pascal and Pascal to Ada

Authors:

Paul F. Albrecht,

Philip E. Garrison,

Susan L. Graham,

Robert H. Hyerle,

Bernd Krieg-BrücknerAuthors Info & Claims

ACM SIGPLAN Notices, Volume 15, Issue 11

Pages 183 - 193

https://doi.org/10.1145/947783.948658

Published: 01 November 1980 Publication History

Abstract

An implementation of translators between Ada and Pascal is described. The method used is to define subsets of each language between which there is a straightforward translation and to translate each source program to its respective sublanguage by program transformations. A common internal tree representation is used. The underlying organization of the translators is described, and some of the difficulties we have confronted and solves are discussed.

References

[1]

{Ada 80} References Manual for the Ada Programming Languages. U. S. Department of Defense (July 1980).

[2]

{Ada 80} Addyman, A. M. A Draft Proposal for PASCAL. SIGPLAN Notices 15, 4 (April 1980)

Digital Library

[3]

{Alb 80} Albrecht, P. F., Garrison, P. E., Graham, S. L., Hyerle, R. H., Ip. P., and Krieg-Brückner, B. The PascAda Project: Implementation Notes. Computer Science Division - EECS, University of California at Berkeley (October 1980)

[4]

{Bau 78} Bauer, F. L., Broy, M., Gnatz, R. Hesse, W., and Krieg-Brückner, B. A. Wide Spectrum Language for program Development. 3rd Int. Symp. on Programming, Paris (1978). 1--15.

[5]

{Dau 79} Dausmann M., Persch G., and Winterstein, G. Program-Tree and Abstract-Syntax Module Descriptions. AIDA project memo ADA-0MD. Universität Karlsruhe (October 1979)

[6]

{Don 79a} Donzeau-Gouge, V., Huet, G., Kahn., G., and Lang, B. The MENTOR Program Manipulation System. IRIA-Laboria (August 79).

[7]

{Don 79b} Donzeau-Gouge, V., Kahn, G., Krieg-Brückner, B., and Lang, B. Formal Definition of Ada (preliminary draft). CII Honeywell Bull (October 1979).

[8]

{Gra 79} Graham, S. L., Joy, W. N., and Roubine, O. Hashed Symbol Tables for Languages with Explicit Scope Control. SIGPLAN Notices 14, 8 (August 1979).

Digital Library

[9]

{Jen 75} Jensen, K., and Wirth, N. Pascal User Manual and Report. Springer-Verlag, 1974.

Digital Library

[10]

{Joh 77} Johnson, S. C. YACC - Yet Another Compiler Compiler. Bell Laboratories, Murray Hill, 1977.

[11]

{Ker 78} Kernighan. B. W. and Ritchie, D. M. The C Programming Language. Prentice-Hall, 1978.

Digital Library

[12]

{Kri 80a} Krieg-Brückner, B. and Hyerle, R. MinPascal, BootPascal, MaxPascal. Computer Science Division - EECS, University of California at Berkeley (April 1980).

[13]

{Kri 80b} Krieg-Brückner, B., Albrecht, P. F., Ganesh, S., Hyerle, R. H., Ip, P., and Suzuki, K. Language Comparison by Transformation: Pascal, Fortran, Ada (preliminary draft). University of California at Berkeley (November 1980)

[14]

{Kri 80c} Krieg-Brückner B. Language Comparison by Transformation (in preparation).

[15]

{Peg 79} Pepper, P. A Study on Transformational Semantics. Ph.D. Dissertation, Institut für Informatik, Technische Universität München, 1979.

Cited By

Bertolotti FCazzola WOstuni DCastoldi C(2024)When the dragons defeat the knight: Basilisk an architectural pattern for platform and language independent developmentJournal of Systems and Software10.1016/j.jss.2024.112088215(112088)Online publication date: Sep-2024
https://doi.org/10.1016/j.jss.2024.112088
Bertolotti FCazzola WFavalli L(2024) piler: Compilers in search of compilations Journal of Systems and Software10.1016/j.jss.2024.112006212(112006)Online publication date: Jun-2024
https://doi.org/10.1016/j.jss.2024.112006
Yang XWang XLiu ZShu F(2023)M2Coder: A Fully Automated Translator from Matlab M-functions to C/C++ Codes for ACS Motion ControllersAdvances in Guidance, Navigation and Control10.1007/978-981-19-6613-2_304(3130-3139)Online publication date: 31-Jan-2023
https://doi.org/10.1007/978-981-19-6613-2_304
Show More Cited By

Source-to-source translation: Ada to Pascal and Pascal to Ada
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Source-to-source translation: Ada to Pascal and Pascal to Ada
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on Ada programming language

An implementation of translators between Ada and Pascal is described. The method used is to define subsets of each language between which there is a straightforward translation and to translate each source program to its respective sublanguage by ...
Source-to-source translation: Ada to Pascal and Pascal to Ada
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on The ADA programming language

An implementation of translators between Ada and Pascal is described. The method used is to define subsets of each language between which there is a straightforward translation and to translate each source program to its respective sublanguage by ...
Integrating source-language context into phrase-based statistical machine translation

The translation features typically used in Phrase-Based Statistical Machine Translation (PB-SMT) model dependencies between the source and target phrases, but not among the phrases in the source language themselves. A swathe of research has demonstrated ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 15, Issue 11

Proceedings of the ACM-SIGPLAN symposium on the Ada programming language

November 1980

242 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/947783

Issue’s Table of Contents

SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on Ada programming language
December 1980
249 pages
ISBN:0897910303
DOI:10.1145/948632
Conference Chair:
Paul Abrahams
Deerfield, MA

Copyright © 1980 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1980

Published in SIGPLAN Volume 15, Issue 11

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
663
Total Downloads

Downloads (Last 12 months)124
Downloads (Last 6 weeks)14

Reflects downloads up to 24 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bertolotti FCazzola WOstuni DCastoldi C(2024)When the dragons defeat the knight: Basilisk an architectural pattern for platform and language independent developmentJournal of Systems and Software10.1016/j.jss.2024.112088215(112088)Online publication date: Sep-2024
https://doi.org/10.1016/j.jss.2024.112088
Bertolotti FCazzola WFavalli L(2024) piler: Compilers in search of compilations Journal of Systems and Software10.1016/j.jss.2024.112006212(112006)Online publication date: Jun-2024
https://doi.org/10.1016/j.jss.2024.112006
Yang XWang XLiu ZShu F(2023)M2Coder: A Fully Automated Translator from Matlab M-functions to C/C++ Codes for ACS Motion ControllersAdvances in Guidance, Navigation and Control10.1007/978-981-19-6613-2_304(3130-3139)Online publication date: 31-Jan-2023
https://doi.org/10.1007/978-981-19-6613-2_304
Zhang XZhu XLi JDong J(1991)Source-to-source conversion based on formal definitionJournal of Computer Science and Technology10.1007/BF029453696:2(178-184)Online publication date: Apr-1991
https://doi.org/10.1007/BF02945369
Moynihan VWallis P(1991)The design and implementation of a high-level language converterSoftware—Practice & Experience10.1002/spe.438021040521:4(391-400)Online publication date: 1-Apr-1991
https://dl.acm.org/doi/10.1002/spe.4380210405
Mamrak SKaelbling MNicholas CShare M(1989)ChameleonIEEE Transactions on Software Engineering10.1109/32.3136715:9(1090-1108)Online publication date: 1-Sep-1989
https://dl.acm.org/doi/10.1109/32.31367
Mamrak SKaelbling MNicholas CShare M(1987)A software architecture for supporting the exchange of electronic manuscriptsCommunications of the ACM10.1145/22899.2290530:5(408-414)Online publication date: 1-May-1987
https://dl.acm.org/doi/10.1145/22899.22905
Krieg-Brückner B(1984)Language Comparison and Source-to-Source TranslationProgram Transformation and Programming Environments10.1007/978-3-642-46490-4_26(299-304)Online publication date: 1984
https://doi.org/10.1007/978-3-642-46490-4_26
Krieg-Brückner B(1983)Consistency checking in Ada and AnnaACM SIGAda Ada Letters10.1145/989971.989972III:2(46-54)Online publication date: 1-Sep-1983
https://dl.acm.org/doi/10.1145/989971.989972
Vendramini VGoldman AMounié GCavalcante EDantas FBatista T(2020)Improving mobile app development using transpilers with maintainable outputsProceedings of the XXXIV Brazilian Symposium on Software Engineering10.1145/3422392.3422426(354-363)Online publication date: 21-Oct-2020
https://dl.acm.org/doi/10.1145/3422392.3422426

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents