Travelled to:
1 × Canada
Collaborated with:
J.Hannan
Talks about:
correct
(1)
specif
(1)
lift
(1)
Person:
Adam Fischbach
DBLP: Fischbach:Adam
Contributed to:
2000
Wrote 1 papers:
SAIG-2000-FischbachH
#correctness
#specification
Specification and Correctness of λ Lifting (
AF
,
JH
), pp. 108–128.
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
.