Analogical program derivation based on type theory

Authors:
Jianguo Lu;Jiafu Xu
Affiliations:
Nanjing Univ., Nanjing, People's Republic of China;Nanjing Univ., Nanjing, People's Republic of China
Venue:
Theoretical Computer Science
Year:
1993

Citing 0
Cited 3

EVA: A Flexible Programming Method for Evolving Systems

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Higher order generalization and its application in program verification

Annals of Mathematics and Artificial Intelligence
Higher Order Generalization

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence

Quantified Score

Hi-index	5.23

Visualization

Abstract