Dénotationnelle semantics

In Data-processing, the dénotationnelle semantic is one of the approaches making it possible to formalize the significance of a program by using mathematics. Among the other approaches, one finds the axiomatic Sémantique and the operational Sémantique.

This discipline was introduced by Christopher Strachey and Dana Scott.

In general, dénotationnelle semantics uses techniques of functional Programmation to describe the data-processing languages, architectures and the programs. The mathematics used in dénotationnelle semantics what is called belongs to now the Théorie of the fields.

See too

Related articles

  • Transformation of programs
  • Semantic Theory of the types
  • of the computer programming languages

External bonds

  • http://www.csse.monash.edu.au/~lloyd/tilde/Semantics/
  • http://www.risc.uni-linz.ac.at/people/schreine/courses/densem/densem.html

References

  • C. Livercy, Theory of the programs , Dunod, Paris, 1978.
  • Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics , MIT Near, Cambridge, Massachusetts, 1977.
  • Glinn Winskel, The Formal Semantics off Programming Language , MIT Near, Cambridge, Massachusetts, 1993.

Random links:BBCi | XXIe century | SC Preussen Münster | Doug E. Doug | John Starks | The Voice - Scrap-metal | Fredegar_Bolger