论文信息 - Development Transformation Based on Higher Order Type Theory - 字舞流文

Development Transformation Based on Higher Order Type Theory

Jianguo Lu | Jiafu Xu

[1] de Ng Dick Bruijn,et al. A survey of the project Automath , 1980 .

[2] Per Martin-Löf,et al. Constructive mathematics and computer programming , 1984 .

[3] Jaime G. Carbonell,et al. Derivational analogy: a theory of reconstructive problem solving and expertise acquisition , 1993 .

[4] Rob Nederpelt,et al. An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus , 1980, CADE.

[5] Furio Honsell,et al. A framework for defining logics , 1993, JACM.

[6] M. Sintzoff,et al. Understanding and Expressing Software Construction , 1984 .

[7] John Darlington,et al. An Experimental Program Transformation and Synthesis System , 1986, Artif. Intell..

[8] John Darlington,et al. A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[9] Jack Mostow,et al. Design by Derivational Analogy: Issues in the Automated Replay of Design Plans , 1989, Artif. Intell..