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 × Denmark
1 × France
1 × India
1 × Poland
1 × Portugal
Collaborated with:
G.Stewart A.W.Appel N.Benton A.Kennedy M.Hofmann S.Cuellar R.Dockins
Talks about:
transform (2) program (2) verifi (2) semant (2) effect (2) relat (2) base (2) paramodul (1) composit (1) theorem (1)

Person: Lennart Beringer

DBLP DBLP: Beringer:Lennart

Contributed to:

POPL 20152015
ESOP 20142014
ICFP 20122012
PPDP 20092009
PPDP 20072007

Wrote 5 papers:

POPL-2015-StewartBCA #composition
Compositional CompCert (GS, LB, SC, AWA), pp. 275–287.
ESOP-2014-BeringerSDA #c #compilation
Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.
ICFP-2012-StewartBA #proving #theorem proving
Verified heap theorem prover by paramodulation (GS, LB, AWA), pp. 3–14.
PPDP-2009-BentonKBH #higher-order #program transformation #relational #semantics
Relational semantics for effect-based program transformations: higher-order store (NB, AK, LB, MH), pp. 301–312.
PPDP-2007-BentonKBH #program transformation #relational #semantics
Relational semantics for effect-based program transformations with dynamic allocation (NB, AK, LB, MH), pp. 87–96.

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.