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 × Germany
Collaborated with:
∅ E.Olderog B.Buth K.Buth M.Fränzle B.v.Karger Y.Lakhnech M.Müller-Olm
Talks about:
implement (2) like (2) procedur (1) mathemat (1) softwar (1) provabl (1) program (1) present (1) languag (1) express (1)

Person: Hans Langmaack

DBLP DBLP: Langmaack:Hans

Facilitated 1 volumes:

VDM Europe 1990Ed

Contributed to:

COCV 20052005
CC 19921992
ICALP 19801980

Wrote 3 papers:

COCV-J-2005-Langmaack #question #reasoning #what
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer? (HL), pp. 5–32.
CC-1992-ButhBFKLLM #compilation #development #implementation
Provably Correct Compiler Development and Implementation (BB, KHB, MF, BvK, YL, HL, MMO), pp. 141–155.
ICALP-1980-LangmaackO #hoare #programming language
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions (HL, ERO), pp. 363–373.
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.