Vienna Definition Language
- Vienna Definition Language
-
Die Vienna Definition Language (VDL) ist eine im IBM Labor in Wien entwickelte Programmiersprache, die verwendet werden kann, um formale, algebraische Definitionen von Programmiersprachen für Computersoftware mit einer Operationellen Semantik anzugeben. Sie stellt eine Metasprache (formale Sprache) dar und wurde unter anderem verwendet, um die Programmiersprache PL/I zu definieren.
Aus der Sprache heraus wurde auch eine Methodologie, Vienna Development Method, entwickelt, die es erleichtert, Korrektheitsbeweise über Computerprogramme zu formulieren und zu führen. Sie verwendet eine mathematische Notation, um Spezifikationen von Funktionen präzise auszudrücken.
Die Verwendung von solchen Metasprachen und Beweisen wird sich in der Regel nur für sicherheitskritische Systeme (z. B. Eisenbahnübergänge, Kernkraftwerke) rentieren, da die Beweise sehr aufwendig und damit teuer sind.
Literatur
- "The Vienna Definition Language", P. Wegner, ACM Comp Surveys 4(1):5-63 (Mar 1972).
- D. Bjørner and C. B. Jones (eds.), The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science, Vol. 61, Springer-Verlag 1978. ISBN 0-387-08766-4
- D. Bjørner and C. B. Jones, Formal Specification and Software Development Prentice Hall International, 1982. ISBN 0-13-880733-7
- P. Lucas, "Formal Semantics of Programming Languages: VDL," IBM J. Res. Develop. 25,549-561 (1981)
Wikimedia Foundation.
Schlagen Sie auch in anderen Wörterbüchern nach:
Vienna Definition Language — El Vienna Definition Language (VDL), en español, «Lenguaje de Definición de Viena» es un lenguaje de programación desarrollado en un centro de IBM en Viena (Austria), que puede utilizarse para declarar definiciones algebraicas de lenguajes de… … Wikipedia Español
Vienna Development Method — (VDM) ist eine Methode zur Entwicklung von Computer Programmen, die auf formalen Spezifikationen mit Hilfe der VDM eigenen Spezifikationssprache Vienna Definition Language basiert. Es gibt eine objektorientierte Erweiterung, VDM++. Literatur John … Deutsch Wikipedia
Vienna Development Method — The Vienna Development Method (VDM) is one of the longest established Formal Methods for the development of computer based systems. Originating in work done at IBM s Vienna Laboratory [Some idea of that work, including a technical report TR… … Wikipedia
Vienna Development Method — El Vienna Development Method (VDM), en español, «Método de Desarrollo de Viena» es un método para el desarrollo de programas informáticos, que se base en especificaciones formales con ayuda del idioma de especificación propio Vienna Definition… … Wikipedia Español
Language, Truth, and Logic — is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was only 26 (though it was in fact completed by age 24). It was crucial in bringing some of the ideas of the Vienna Circle and the logical empiricists to the attention of… … Wikipedia
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
Meaning (philosophy of language) — The nature of meaning, its definition, elements, and types, was discussed by philosophers Aristotle, Augustine, and Aquinas. According to them meaning is a relationship between two sorts of things: signs and the kinds of things they mean (intend … Wikipedia
Meta-IV (specification language) — The Meta IV (pronounced like metaphor ) was an early version of the specification language of the Vienna Development Method formal method for the development of computer based systems. Contents 1 History 2 The Schools of VDM 2.1 The Danish School … Wikipedia
Cornish language — For the Anglo Cornish accent and dialect, see Anglo Cornish. Cornish Kernowek, Kernewek Pronunciation [kərˈnuːək] Spoken in … Wikipedia
Hungarian language — Hungarian magyar Pronunciation [ˈmɒɟɒr] Spoken in … Wikipedia
