O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação
Abstract
We study the automatic generation of source-to-source programming language translators, using a meta-compiler to process the formal semantics of such languages. In particular, two different semantic environments are considered in order to try and establish their adequacy for the task. Rules for the semantics of compound phrases are presented and used to prove properties of languages in an induction-free style. We also show how this can help the translation process.
References
E. Astesiano, Operational Semantics. In Lecture Notes of the State of the Art Seminar on Formal Description of Programming Concepts., IFIP TC2 WG 2.2, Petrópolis, 1989.
H. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, Amsterdam, 1981.
R. Burstall and F. Honsell. A Natural Deduction Treatment of Operational Semantics. Technical Report ECS-LFCS-88-69, Department of Computer Science, University of Edinburgh, 1988.
R. Burstall and B. Lampson. A Kernel Language for Abstract Data Types and Modules. In Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, Springer-Verlag, 1984.
J. Darlington. Program Transformation. In P. Henderson J. Darlington and D. Turner, editors, Functional Programming and its Applications, Cambridge University Press, Cambridge, 1982.
J. A. Goguen, J. W, Thatcher, and E. G. Wagner. An Initial Approach to the Specification, Correctness and Implementation of Abstract Data Types. In R. Yeh, editor, Current Trends in Programming Methodology, Prentice Hall, 1978.
G. Kahn. Natural Semantics. In STACS'87, Lecture Notes in Computer Science, Vol. 247, Springer-Verlag, 1987.
S. Meira, A. L. Cavalcanti, and A. Pardo. On the Use of Structured Inductive Semantics in Source-to-Source Translation of Programming Languages. 1989. Submitted to Information Processing Letters, North-Holland.
P. D. Mosses. Action Semantics, Notas de Curso, Aarhus University, Dinamarca. 1989.
P. D. Mosses. Denotational Semantics. In Lecture Notes of the State of the Art Seminar on Formal Description of Programming Concepts, IFIP TC2 WG 2.2, Petrópolis, 1989.
A. Pardo. Tese de Mestrado, Departamento de Informática, Universidade Federal de Pernambuco. 1990. (Em preparo).
L. C. Paulson. Logic and Computation - Interactive Proof with Cambridge LCF. Volume 2 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1987.
G. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
A. Pardo and S. Meira. Tradução Fonte-a-Fonte de Linguagens de Programação Baseada em Semântica Formal. In Anais do X Congresso da SBC, Sociedade Brasileira de Computação, Vitória, 1990.
D. A. Schmidt. Denotational Semantics. A Methodology for Language Development. Allyn and Bacon, Inc., Boston Mass., 1986.
Å. Wikström. Functional Programming using Standard ML. Prentice Hall International, UK, 1987.
H. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, Amsterdam, 1981.
R. Burstall and F. Honsell. A Natural Deduction Treatment of Operational Semantics. Technical Report ECS-LFCS-88-69, Department of Computer Science, University of Edinburgh, 1988.
R. Burstall and B. Lampson. A Kernel Language for Abstract Data Types and Modules. In Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, Springer-Verlag, 1984.
J. Darlington. Program Transformation. In P. Henderson J. Darlington and D. Turner, editors, Functional Programming and its Applications, Cambridge University Press, Cambridge, 1982.
J. A. Goguen, J. W, Thatcher, and E. G. Wagner. An Initial Approach to the Specification, Correctness and Implementation of Abstract Data Types. In R. Yeh, editor, Current Trends in Programming Methodology, Prentice Hall, 1978.
G. Kahn. Natural Semantics. In STACS'87, Lecture Notes in Computer Science, Vol. 247, Springer-Verlag, 1987.
S. Meira, A. L. Cavalcanti, and A. Pardo. On the Use of Structured Inductive Semantics in Source-to-Source Translation of Programming Languages. 1989. Submitted to Information Processing Letters, North-Holland.
P. D. Mosses. Action Semantics, Notas de Curso, Aarhus University, Dinamarca. 1989.
P. D. Mosses. Denotational Semantics. In Lecture Notes of the State of the Art Seminar on Formal Description of Programming Concepts, IFIP TC2 WG 2.2, Petrópolis, 1989.
A. Pardo. Tese de Mestrado, Departamento de Informática, Universidade Federal de Pernambuco. 1990. (Em preparo).
L. C. Paulson. Logic and Computation - Interactive Proof with Cambridge LCF. Volume 2 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1987.
G. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
A. Pardo and S. Meira. Tradução Fonte-a-Fonte de Linguagens de Programação Baseada em Semântica Formal. In Anais do X Congresso da SBC, Sociedade Brasileira de Computação, Vitória, 1990.
D. A. Schmidt. Denotational Semantics. A Methodology for Language Development. Allyn and Bacon, Inc., Boston Mass., 1986.
Å. Wikström. Functional Programming using Standard ML. Prentice Hall International, UK, 1987.
Published
1990-10-24
How to Cite
PARDO, Alberto; MEIRA, Silvio Lemos.
O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES), 4. , 1990, Águas de São Pedro/São Paulo.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1990
.
p. 30-43.
ISSN 2833-0633.
DOI: https://doi.org/10.5753/sbes.1990.24164.
