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 × Japan
1 × Spain
1 × USA
Collaborated with:
M.S.Ager O.Danvy A.Filinski
Talks about:
evalu (3) partial (2) string (2) pattern (1) matcher (1) account (1) obtain (1) normal (1) untyp (1) pratt (1)

Person: Henning Korsholm Rohde

DBLP DBLP: Rohde:Henning_Korsholm

Contributed to:

FoSSaCS 20042004
PEPM 20032003
ASIA-PEPM 20022002

Wrote 3 papers:

FoSSaCS-2004-FilinskiR #evaluation #normalisation
A Denotational Account of Untyped Normalization by Evaluation (AF, HKR), pp. 167–181.
PEPM-2003-AgerDR #partial evaluation #pattern matching #performance #string
Fast partial evaluation of pattern matching in strings (MSA, OD, HKR), pp. 3–9.
ASIA-PEPM-2002-AgerDR #on the #partial evaluation #string
On obtaining Knuth, Morris, and Pratt’s string matcher by partial evaluation (MSA, OD, HKR), pp. 32–46.

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.