Semântica Denotacional Legível
Resumo
Este trabalho apresenta uma nova alternativa à descrição de linguagens de programação. Partindo do fato que os principais problemas encontrados em definições formais são sua baixa legibilidade e dificuldade de compreensão, foi examinada a adequação da aplicação das técnicas de literate programming a semântica denotacional. Como resultado foi definida a linguagem de especificação LDS. LDS une prosa informal e equações semânticas numa mesma estrutura, promovendo um estilo de descrição onde a ênfase se encontra na estruturação e apresentação das definições.
Palavras-chave:
linguagens de programação, descrições formais, semântica denotational, LDS, literate programming
Referências
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.
Publicado
27/10/1993
Como Citar
SILVA JÚNIOR, José Leite da; BIGONHA, Roberto da Silva.
Semântica Denotacional Legível. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 7. , 1993, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1993
.
p. 30-45.
DOI: https://doi.org/10.5753/sbes.1993.24394.
