BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × The Netherlands
Collaborated with:

Talks about:
program (2) extract (2) determinist (1) concurr (1) normal (1) proof (1) non (1)

Person: Ulrich Berger 0001

DBLP DBLP: 0001:Ulrich_Berger

Contributed to:

TLCA 19931993
CSL 20162016

Wrote 2 papers:

TLCA-1993-Berger #normalisation #proving
Program Extraction from Normalization Proofs (UB0), pp. 91–106.
CSL-2016-Berger #concurrent #nondeterminism #source code
Extracting Non-Deterministic Concurrent Programs (UB0), p. 21.

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.