MetaSoft Primer

Towards a Metalanguage for Applied Denotational Semantics
1987
ISBN: 978-3-540-18657-1
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 288, 148 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 254 g

Reihe: Lecture Notes in Computer Science

The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types.

Zielgruppe

Research

Autoren/Hrsg.

Blikle, Andrzej

Brauer, W.

Barstow, D.

Luckham, D.

Brinch Hansen, P.

Gries, D.

Wirth, N.

Moler, C.

Pnueli, A.

Seegmüller, G.

Stoer, J.

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines

Inhaltsverzeichnis

Denotational constructors.- An example definition of a subset of Pacal.