scientific article
From MaRDI portal
zbMath0486.68007MaRDI QIDQ3947094
Friedrich L. Bauer, H. Wössner
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68Nxx)
Related Items
Structured algebraic specifications: A kernel language, On the existence of free models in abstract algebraic institutions, Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study, La fonction d'Ackermann : un nouveau mode de dérécursivation, Deaccumulation techniques for improving provability, Folding left and right matters: Direct style, accumulators, and continuations, Program development: From enumeration to backtracking, Unnamed Item, A study of binary tree traversal algorithms and a tag-free threaded representation, A new approach to recursion removal, Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs
