scientific article
From MaRDI portal
Publication:3731020
zbMath0597.68025MaRDI QIDQ3731020
Yasuyoshi Inagaki, Toshiki Sakabe, Hidehiko Kita
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal specification of programming languagesgenerationsprogramsverification ofautomatic compilerproofs of compiler correctness
This page was built for publication: