scientific article; zbMATH DE number 4047035

MaRDI QIDQ3783490zbMATH OpenFDO

Authors Nachum Dershowitz

Publication date 1983

zbMATH Keywords

abstractiondebugginginstatiationlife cycleprogram modificationsprogram schemaspecification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Recommendations

• Program abstraction and instantiation
• Unifying program construction and modification
• scientific article; zbMATH DE number 3947593
• Program annotation and transformation
• Evolution of rule-based programs

Cited in

(9)

• Top-down synthesis of divide-and-conquer algorithms
• Schema induction for logic program synthesis
• Logical debugging
• Annotations in formal specifications and proofs
• An abstract formalization of correct schemas for program synthesis
• Evolution of rule-based programs
• Program abstraction and instantiation
• Unifying program construction and modification
• Synthetic programming

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 Q3783490)