scientific article
From MaRDI portal
Publication:3782824
zbMath0641.68123MaRDI QIDQ3782824
Wolfgang Otter, Hans Loeper, Hans-Jörg Jäkel
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal languagescompilerinterpretersemantics of programming languagesCALGOL 68Backus-Naur-FormL-attributed grammars
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)
Uses Software
This page was built for publication: