Semântica Denotacional Legível
Abstract
This work presents a new alternative to the description of programming languages. One assumption underlies this alternative: the main problems of formal definitions are theis low legibility and difficult of comprehension. To solve these problems, it was verified the suitability of applying the techniques of literate programming to denotational semantics. The result was the design of the specification language LDS. This language associates in the same structure informal prose and semantic equations, promoting a style of definition composition where the emphasis is in the definition structuring and presentation.
Keywords:
programming languages, formal descriptions, denotational semantics, LDS, literate programming
References
L.M. Amaral. Interface homem-máquina do ambiente de definição de semântica LDS. Master's thesis, Universidade Federal de Minas Gerais, Belo Horizonte - MG, 1992.
R. Balzer, N. Goldman, and D. Wille. Informality in program specifications. IEEE Transactions on Software Engineering, SE-4(2), março 1978.
R.S. Bigonha. A Denotational Semantics Implementation System. PhD thesis, University of California, Los Angeles, Cal., 1981.
F.P. Brooks Jr. The Mythical Man-Month. Addison-Wesley, Reading, Mass., 1975.
M.C.J. Gordon. The Denotational Description of Programming Languages. Spring-Verlag, New York, N.Y., 1979.
D.E. Knuth. Literate programming. The Computer Journal, 27(2), maio 1984.
D.E. Knuth. The web system of structured documentation. Technical Report STAN-CS-83-980, Stanford University, Stanford, Cal., setembro 1983.
L. Lamport. LATEX: A Document Preparation System. Addison-Wesley, Reading, Mass., 1986.
J. Leite S. Jnr. Linguagem de Definição e Geração de Analisadores Sintáticos em Semântica Denotacional Legível. Master's thesis, Universidade Federal de Minas Gerais, Belo Horizonte - MG, 1993.
A.J.H.M. Peels, N.J. Jansen, and W. Nawijn. Document architecture and text formatting. ACM Transactions on Office Information Systems, 3(4), outubro 1985.
F.G. Pagan. A style for writing the syntatic portions of complete definitions of programming languages. The Computer Journal, 24(2), maio 1981.
T. Reenskaug and A.L. Skaar, An environment for literate smalltalk programming. In OOPSLA '89 proceedings, pages 337-345, Sidney, outubro 1989.
W.A. Rodrigues. Compilação e Otimização de uma Linguagem para Definição Semântica Denotacional. Master's thesis, Universidade Federal de Minas Gerais, Belo Horizonte - MG, 1993.
D. Scott and C. Stratchey. Towards a mathematical semantics for computer languages. Technical Monograph PRG-6, Oxford University Computing Laboratory, agosto 1971.
R.D. Tennent. Language design methods based on semantic principles. Acta Informatica, 8(2), 1977.
H. Thimbleby. Experiences of 'literate programming' using cweb (a variant of Knuth's WEB. The Computer Journal, 29(1), março 1986.
C.J.van Wyk, D.R. Hanson, and J. Gilbert. Literate programming - printing common words. Communications of the ACM, 33(3), março 1990.
R. Balzer, N. Goldman, and D. Wille. Informality in program specifications. IEEE Transactions on Software Engineering, SE-4(2), março 1978.
R.S. Bigonha. A Denotational Semantics Implementation System. PhD thesis, University of California, Los Angeles, Cal., 1981.
F.P. Brooks Jr. The Mythical Man-Month. Addison-Wesley, Reading, Mass., 1975.
M.C.J. Gordon. The Denotational Description of Programming Languages. Spring-Verlag, New York, N.Y., 1979.
D.E. Knuth. Literate programming. The Computer Journal, 27(2), maio 1984.
D.E. Knuth. The web system of structured documentation. Technical Report STAN-CS-83-980, Stanford University, Stanford, Cal., setembro 1983.
L. Lamport. LATEX: A Document Preparation System. Addison-Wesley, Reading, Mass., 1986.
J. Leite S. Jnr. Linguagem de Definição e Geração de Analisadores Sintáticos em Semântica Denotacional Legível. Master's thesis, Universidade Federal de Minas Gerais, Belo Horizonte - MG, 1993.
A.J.H.M. Peels, N.J. Jansen, and W. Nawijn. Document architecture and text formatting. ACM Transactions on Office Information Systems, 3(4), outubro 1985.
F.G. Pagan. A style for writing the syntatic portions of complete definitions of programming languages. The Computer Journal, 24(2), maio 1981.
T. Reenskaug and A.L. Skaar, An environment for literate smalltalk programming. In OOPSLA '89 proceedings, pages 337-345, Sidney, outubro 1989.
W.A. Rodrigues. Compilação e Otimização de uma Linguagem para Definição Semântica Denotacional. Master's thesis, Universidade Federal de Minas Gerais, Belo Horizonte - MG, 1993.
D. Scott and C. Stratchey. Towards a mathematical semantics for computer languages. Technical Monograph PRG-6, Oxford University Computing Laboratory, agosto 1971.
R.D. Tennent. Language design methods based on semantic principles. Acta Informatica, 8(2), 1977.
H. Thimbleby. Experiences of 'literate programming' using cweb (a variant of Knuth's WEB. The Computer Journal, 29(1), março 1986.
C.J.van Wyk, D.R. Hanson, and J. Gilbert. Literate programming - printing common words. Communications of the ACM, 33(3), março 1990.
Published
1993-10-27
How to Cite
SILVA JÚNIOR, José Leite da; BIGONHA, Roberto da Silva.
Semântica Denotacional Legível. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES), 7. , 1993, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1993
.
p. 30-45.
ISSN 2833-0633.
DOI: https://doi.org/10.5753/sbes.1993.24394.
