scientific article; zbMATH DE number 1538030
From MaRDI portal
Publication:4518885
zbMath0960.68034MaRDI QIDQ4518885
Elena Machkasova, Franklyn A. Turbak
Publication date: 3 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case ⋮ Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
This page was built for publication: