scientific article; zbMATH DE number 194542
From MaRDI portal
Publication:4692506
zbMath0714.68006MaRDI QIDQ4692506
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) General topics in the theory of software (68N01)
Related Items
Formalizing non-termination of recursive programs ⋮ CoLab: A hybrid knowledge representation and compilation laboratory ⋮ Folding left and right matters: Direct style, accumulators, and continuations ⋮ Derivation of logic programs by functional methods ⋮ From CML to its process algebra ⋮ Event-based functional decomposition ⋮ Representation sharing for Prolog ⋮ Context-sensitive rewriting strategies
