Publication:4518885
From MaRDI portal
zbMath0960.68034MaRDI QIDQ4518885
Elena Machkasova, Franklyn A. Turbak
Publication date: 3 December 2000
68N20: Theory of compilers and interpreters
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records, A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case