Analogical program derivation based on type theory

DOI10.1016/0304-3975(93)90004-DMaRDI QIDQ1802072zbMATH OpenFDO

Authors Jianguo Lu, Jiafu Xu

Publication date 8 August 1993

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(93)90004-D

zbMATH Keywords

program derivationprogram transformationanalogical reasoninganalogical correspondenceanalogical programmingsoftware automation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Publication:3490961
• Program abstraction and instantiation
• scientific article; zbMATH DE number 4072443
• scientific article; zbMATH DE number 1302060
• Program development schemata as derived rules

Cites work

• scientific article; zbMATH DE number 4164148 (Why is no real title available?)
• scientific article; zbMATH DE number 4033055 (Why is no real title available?)
• scientific article; zbMATH DE number 3684935 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• Analogy calculus
• Constructive mathematics and computer programming
• Generalization from partial parametrization in higher-order type theory
• Unification: a multidisciplinary survey

Cited in

(5)

• scientific article; zbMATH DE number 1302060 (Why is no real title available?)
• scientific article; zbMATH DE number 4164148 (Why is no real title available?)
• Program derivation in type theory: A partitioning problem
• Program abstraction and instantiation
• scientific article; zbMATH DE number 4072443 (Why is no real title available?)

Describes a project that uses

Uses Software

• Automath
• Nuprl

This page was built for publication: Analogical program derivation based on type theory

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