Data/hora: 19/06/2024 19:10:11

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 10/09/1996
Data da última atualização: | 04/04/2011
Autoria: | ANDREWS, D.; HENHAPL, W.
Título: | PASCAL.
Ano de publicação: | 1982
Fonte/Imprenta: | In: BJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice-Hall International, 1982.
Páginas: | p. 175-251.
Idioma: | Inglês
Conteúdo: | This chapter again provides a VDM definition of an actual programming language. In some senses this definition of standard Pascal is very revealing. The sheer length of the definition in comparison to that of ALGOL 60 requires some comment. The type definition facility in Pascal accounts for much of the length of the static semantics. But in many cases (e.g. variant records) one is forced to the conclusion that features of the language do not always fit together in a natural way. The language is, however, held in very high regard especially for teaching purposes. The resolution of this apparent contradiction appears to be that simple programs normally function in a "natural" way but that the combination of language features often leads to complexity. The text explains the models of those language concepts not discussed in chapter 4 and makes more detailed comments on the language. The chapter provides an example of how a formal definition can be used to study and criticize a language.
Palavras-Chave: | Computer programs; Linguagem de programação; Pascal.
Categoria do assunto: | X Pesquisa, Tecnologia e Engenharia
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (4095-1) - ADD - PL - PP - 005.1 - BJO - 1986.00333 - DIS