The formal definition of the BASIC language (1972)

by J A N Lee
Venue:Computer Journal
Add To MetaCart
Results 1 - 3 of 3

A Family of Syntax Definition Formalisms

by Eelco Visser - PROGRAMMING RESEARCH GROUP, UNIVERSITY OF AMSTERDAM , 1997
"... ..."
Abstract - Cited by 18 (7 self) - Add to MetaCart
Abstract not found

Compilers and Compiler Generators: An Introduction with C++

by P. D. Terry , 2000
"... ..."
Abstract - Cited by 16 (0 self) - Add to MetaCart
Abstract not found

Formal semantics of programming languages: VDL

by P. Lucas - IBM Journal of Research and Development , 1981
"... The history of ideas that led to the first formalization of the syntax and semantics of PLII is sketched. The definition method and notation are known as the Vienna Definition Language (VDL). The paper examines the relationship between VDL and both denotational semantics and the axiomatic approach t ..."
Abstract - Cited by 8 (0 self) - Add to MetaCart
The history of ideas that led to the first formalization of the syntax and semantics of PLII is sketched. The definition method and notation are known as the Vienna Definition Language (VDL). The paper examines the relationship between VDL and both denotational semantics and the axiomatic approach to programming language definition. 1.