Travelled to:
1 × Hungary
Collaborated with:
G.Levi
Talks about:
metaprogram
(1)
formal
(1)
real
(1)
Person:
Davide Ramundo
DBLP: Ramundo:Davide
Contributed to:
1993
Wrote 1 papers:
ICLP-1993-LeviR
#formal method
#metaprogramming
A Formalization of Metaprogramming for real (
GL
,
DR
), pp. 354–373.
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
.