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 × Austria
1 × Denmark
1 × The Netherlands
Collaborated with:
K.Indermark K.Weihrauch M.Luther M.Strecker A.Dold H.Pfeifer H.Rueß S.Owre J.M.Rushby N.Shankar
Talks about:
formal (2) verif (2) architectur (1) wordfunct (1) transform (1) transduct (1) hierarchi (1) automata (1) typelab (1) program (1)

Person: Friedrich W. von Henke

DBLP DBLP: Henke:Friedrich_W=_von

Contributed to:

FME 19971997
FME 19931993
ICALP 19721972

Wrote 4 papers:

FME-1997-DoldHPR #optimisation #verification
Formal Verification of Transformations for Peephole Optimization (AD, FWvH, HP, HR), pp. 459–472.
FME-1993-OwreRSH #architecture #fault tolerance #lessons learnt #verification
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned (SO, JMR, NS, FWvH), pp. 482–500.
ICALP-1972-HenkeIW #automaton #recursion
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata (FWvH, KI, KW), pp. 549–561.
TAPSOFT-1997-HenkeLS #composition #development #named
Typelab: An Environment for Modular Program Development (FWvH, ML, MS), pp. 851–854.

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.