scientific article; zbMATH DE number 3566137

zbMATH Open0363.68032MaRDI QIDQ4138099FDOQ4138099

Authors: K. L. Clark, Sten-Åke Tärnlund 

Publication date: 1977

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited In (4)

• Difference-list transformation for Prolog
• Proof methods of declarative properties of definite programs
• Program development schemata as derived rules
• Middle-out reasoning for synthesis and induction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4138099)