Analogical program derivation based on type theory

DOI10.1016/0304-3975(93)90004-DzbMath0770.68091MaRDI QIDQ1802072

Jianguo Lu, Jia-Fu Xu

Publication date: 8 August 1993

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

zbMATH Keywords

program transformationprogram derivationanalogical reasoninganalogical correspondenceanalogical programmingsoftware automation

Mathematics Subject Classification ID

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

Uses Software

• Nuprl
• Automath

Cites Work

• Generalization from partial parametrization in higher-order type theory
• Analogy calculus
• Constructive mathematics and computer programming
• Unification: a multidisciplinary survey
• A Transformation System for Developing Recursive Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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