Sequential formula translation

DOI10.1145/366959.366968MaRDI QIDQ3270837zbMATH OpenOpenAlexWikidataFDO

Authors Klaus Samelson, Friedrich L. Bauer

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

zbMATH Keywords

numerical analysis

Cited in

(4)

• 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
• The design of the GIER ALGOL compiler Part I

This page was built for publication: Sequential formula translation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3270837)