scientific article; zbMATH DE number 3992919
From MaRDI portal
Publication:4720771
zbMath0613.68010MaRDI QIDQ4720771
William F. Clocksin, Christopher S. Mellish
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)
Related Items
Assignment methods for incidence calculus, Specification, verification and prototyping of an optimized compiler, Can we transform logic programs into attribute grammars ?, Running programs backwards: The logical inversion of imperative computation, NuMDG: a new tool for multiway decision graphs construction, A generalized approach to metaprogramming in logic grammars, Automatic verification of reduction techniques in higher order logic, Horn clause programs with polymorphic types: Semantics and resolution, From LCF to Isabelle/HOL, A demonstrably correct compiler, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, LCF-style Platform based on Multiway Decision Graphs, The Thue problem and logical specifications of derivation in formal systems, A New Approach for the Construction of Multiway Decision Graphs, Logical debugging
