BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
Collaborated with:
∅
Talks about:
approach (1) program (1) languag (1) histori (1) origin (1) formal (1) achiev (1) earli (1) main (1) hope (1)

Person: Peter Lucas

DBLP DBLP: Lucas:Peter

Facilitated 1 volumes:

FME 1997Ed

Contributed to:

VDM Europe 19871987
VDM 19781978

Wrote 2 papers:

VDME-1987-Lucas #named
VDM: Origins, Hopes, and Achievements (PL), pp. 1–18.
VDM-1978-Lucas #formal method #on the #programming language
On the Formalization of Programming Languages: Early History and Main Approaches (PL), pp. 1–23.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.