Sequential formula translation
From MaRDI portal
Publication:3270837
DOI10.1145/366959.366968zbMath0094.31407OpenAlexW4233965259WikidataQ56485197 ScholiaQ56485197MaRDI QIDQ3270837
Friedrich L. Bauer, Klaus Samelson
Publication date: 1960
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/366959.366968
Related Items (4)
The design of the GIER ALGOL compiler Part I ⋮ Algebraic correctness proofs for compiling recursive function definitions with strictness information ⋮ A method for the structural analysis of two-dimensional mathematical expressions ⋮ An efficient syntactic analyser of certain formal languages
This page was built for publication: Sequential formula translation
