BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.C.Blanchette U.Waldmann D.Wand E.Darulova M.O.Myreen Z.Tatlock
Talks about:
order (2) transfinit (1) support (1) verifi (1) lambda (1) higher (1) compil (1) bendix (1) style (1) optim (1)

Person: Heiko Becker

DBLP DBLP: Becker:Heiko

Contributed to:

CADE 20172017
CAV (2) 20192019

Wrote 2 papers:

CADE-2017-BeckerBWW #higher-order
A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms (HB, JCB, UW, DW), pp. 432–453.
CAV-2019-BeckerDMT #compilation #named #optimisation
Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler (HB, ED, MOM, ZT), pp. 155–173.

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.