On the Formalization of Programming Languages: Early History and Main Approaches.
VenueBFM
Year1978
ProceedingsThe Vienna Development Method: The Meta-Language
DBLP recordconf/fm/Lucas78 ↗
Browse the full FM paper archive.
Browse the full FM paper archive.