H ? « ‹ ← → › »

Language peer sets for Vienna Definition Language:
Germany↑
Germany/1965↑
Designed 1965 ↑
1960s languages ↑
Third generation↑
Early Cold War↑
Genus Definition languages ↑
Specialised Languages ↑
Definition languages↑
Language-related↑
Content-reflexive ↑
Definition languages/1965↑
Language-related/1965↑
Content-reflexive/1965↑
Definition languages/Germany↑
Language-related/Germany↑
Content-reflexive/Germany↑
Specialised Languages ↑
Specialised Languages/1965↑
Specialised Languages/de ↑

Vienna Definition Language(ID:598/vie001)

Formal language description language

alternate simple view

Country: Germany
Designed 1965
Published: 1966
Genus: Definition languages
Sammet category: Specialised Languages

IBM Vienna Labs. A language for formal definition via operational semantics. Used to specify the semantics of PL/I.

Also VDL

People:

Heinz Zemanek

Related languages

ISWIM	→	Vienna Definition Language	Influence
PL/I	→	Vienna Definition Language	Spec written in
Vienna Definition Language	→	Base Language	Incorporated features of
Vienna Definition Language	→	PLEASE	Influence
Vienna Definition Language	→	Proxy	Influence
Vienna Definition Language	→	System/A	Spec written in
Vienna Definition Language	→	VDM-SL	Evolution of

References:

PL/I-Definition Group of the Vienna Laboratory (1966) PL/I-Definition Group of the Vienna Laboratory "Formal Definition of PL/I (U.L.D. No. 3)" Tech. Rep. TR 25.071, IBM Laboratory Vienna, Vienna, Austria, Dec. 1966.

Zemanek, Heinz (1966) Zemanek, H. "Semiotics and programming languages" pp139-143 DOI
in [ACM] (1966) [ACM] CACM 9(03) March 1966 includes proceedings of the ACM Programming Languages and Pragmatics Conference, San Dimas, California, August 1965

Lucas, P. and Walk, K (1969) Lucas, P. and Walk, K "On the formal description of PL/I"
in Halpern, Mark I and Shaw Christopher J (eds) (1969) Halpern, Mark I and Shaw Christopher J (eds) "Annual Review in Automatic Programming" (6) 1969 Pergamon Press, Oxford

Hoare, C. (1970) Hoare, C. A. R. Review of Lucas and Walk 1969 in Computer Journal 13(2) 1970 p171 Abstract
in Halpern, Mark I and Shaw Christopher J (eds) (1969) Halpern, Mark I and Shaw Christopher J (eds) "Annual Review in Automatic Programming" (6) 1969 Pergamon Press, Oxford

Neuhold, E. J. (1971) Neuhold, E. J. "The Formal Description of Programming Languages," pp86-112 Abstract Online copy at IBM Extract: Oriigns and Nature of the VDM language
in (1971) IBM Systems Journal 10(2) (Non-topical issue) 1971

Sammet (1972) Sammet, Jean E., "Roster of Programming Languages 1972" 297
in (1972) Computers & Automation 21(6B), 30 Aug 1972

Wegner, P. (1972) Wegner, P. "The Vienna Definition Language"
in (1972) ACM Computing Surveys 4 March 1972

Stock and Stock (1973) Stock, Marylene and Stock, Karl F. "Bibliography of Programming Languages: Books, User Manuals and Articles from PLANKALKUL to PL/I" Verlag Dokumentation, Pullach/Munchen 1973 642 Abstract
in (1972) ACM Computing Surveys 4 March 1972

Pagan, FG (1976) Pagan, FG "On interpreter-oriented definitions of programming languages"
in (1976) The Computer Journal 19(2) May 1976

Todd, S. J. P. (1976) Todd, S. J. P. "The Peterlee relational test vehicle - a system overview" Extract: VDL and PRTV
in [IBM] (1976) IBM Systems Journal, 15(4), 1976

D. Bjorner, C.B. Jones (1978) D. Bjorner, C.B. Jones "The Vienna Definition Method - The Metalanguage"
in Bjorner, D. et al eds, (1978) Bjorner, D. et al eds, "The Vienna Development Method: The Meta- Language", LNCS 61, Springer 1978.

Jones, C.B. (1980) Jones, C.B. "Software Development - A Rigorous Approach" Prentice Hall, Englewood Cliffs, NJ 1980
in Bjorner, D. et al eds, (1978) Bjorner, D. et al eds, "The Vienna Development Method: The Meta- Language", LNCS 61, Springer 1978.

P. Lucas, (1981) P. Lucas, "Formal Semantics of Programming Languages: VDL," IBM J. Res. Develop. 25,549-561 (1981).
in Bjorner, D. et al eds, (1978) Bjorner, D. et al eds, "The Vienna Development Method: The Meta- Language", LNCS 61, Springer 1978.

Sammet, Jean E. (1981) Sammet, Jean E. "History of IBM's Technical Contributions to High Level Programming Languages" pp520ff
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Pagan, F. (1982) Pagan, F. C. review of Lucas 1981 in ACM Computing Reviews September 1982 Abstract
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Smillie, K W. (1982) Smillie, K W. review of Sammet 1981 in ACM Computing Reviews September 1982 Abstract
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Jones, C.B. (1986) Jones, C.B. "Systematic Software Development Using VDM" Prentice Hall, Englewood Cliffs, NJ 1986
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Terwilliger, Robert B. and Campbell, Roy H. (1986) Terwilliger, Robert B. and Campbell, Roy H. "PLEASE:Predictable Logic based ExecutAble SpeCifications" Proceedings of the fourteenth annual ACM Annual Computer Science Conference Cincinnati, Ohio, United States 1986 pp349-358 Extract: Introduction Extract: VDM and PLEASE Extract: Path Pascal and PLEASE Extract: about PLEASE Extract: Plan
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Bjorner, D. et al. (Eds.) (1987) Bjorner, D. et al. (Eds.) "VDM '87: Vienna Definition Method - A Formal Method at Work" Proc. of a Symposium in Brussels March 1987. LNCS 252. Springer Berlin 1987;
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Zemanek, Heinz (1994) Zemanek, H.: "Early Foundations of Formal Modelling and Language Specification - VDL and VDM" pp251-270
in Proc. (1994) Proc. IFIP Congress 94, North Holland Amsterdam, 1994.

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder