On the formal definition of ADA.
Vronique Donzeau-Gouge, Gilles Kahn, Bernard Lang
VenueBCC
Year1980
ProceedingsSemantics-Directed Compiler Generation
DBLP recordconf/cc/Donzeau-GougeKL80 ↗
Browse the full CC paper archive.
Vronique Donzeau-Gouge, Gilles Kahn, Bernard Lang
Browse the full CC paper archive.