Analogical program derivation based on type theory

Theoretical Computer Science

Volumn 113, Issue 2, 1993, Pages 259-272

  Lu, Jianguo ^a   Xu, Jiafu ^a  

^a NANJING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING; COMPUTER SIMULATION; FORMAL LOGIC; THEOREM PROVING; UNIX;

ANALOGICAL PROGRAM DERIVATION; PROGRAM CORRECTNESS PROOF; TYPE THEORY;

COMPUTER SOFTWARE;

EID: 0027911296     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(93)90004-D     Document Type: Article

References (27)

1. A survey of the project AUTOMATH
2. Transformational system for developing recursive programs
3. Derivational analogy: a theory of reconstructive problem solving and expertise acquisition
4. An experimental program transformation and synthesis system
5. Programming by analogy
6. Analogy in program development
7. Generalization from partial parametrization in higher order type theory
8. Program derivation using analogy
9. A framework for defining logics
10. The formula as types notion of construction
11. Unification: a multidisciplinary survey
12. Research on analogical program derivation based on type theory
13. Development transformation based on higher-order type theory
14. Constructive mathematics and computer programming
15. Design by derivational analogy: issues in the automated replay of design plans
16. An approach to theorem proving on the basis of typed lambda calculus
17. A note on inductive generalization
18. Transformational systems and the algebraic structure of atomic formula
19. First steps towards inferential programming
20. Understanding and expressing software construction
21. Expressing program developments in a design calculus
22. Synthesis of programs by analogy
23. A meta calculus for formal system development
24. Reports on a software automation R&D project
25. Analogy model and analogy correspondence: A formal theory on analogy
26. Analogy calculus