Analogical program derivation based on type theory

DOI10.1016/0304-3975(93)90004-DzbMATH Open0770.68091MaRDI QIDQ1802072FDOQ1802072

Authors: Jianguo Lu, Jiafu Xu 

Publication date: 8 August 1993

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

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

zbMATH Keywords

program derivationprogram transformationanalogical reasoninganalogical correspondenceanalogical programmingsoftware automation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Unification: a multidisciplinary survey
• Title not available (Why is that?)
• A Transformation System for Developing Recursive Programs
• Title not available (Why is that?)
• Constructive mathematics and computer programming
• Generalization from partial parametrization in higher-order type theory
• Title not available (Why is that?)
• Analogy calculus
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Program derivation in type theory: A partitioning problem
• Program abstraction and instantiation
• Title not available (Why is that?)

Uses Software

• Nuprl
• Automath

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)