Publication:3947094
From MaRDI portal
zbMath0486.68007MaRDI QIDQ3947094
Friedrich L. Bauer, H. Wössner
Publication date: 1982
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68Nxx: Theory of software
Related Items
Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs, A new approach to recursion removal