Istituto di Scienza e Tecnologie dell'Informazione     
Degano P., Sirovich F. Inductive generalization and proofs of functions properties. In: CL&CL Computational Linguistics and Computer Languages, vol. 13 pp. 101 - 130. Hungarian Academy of Sciences. Computer and Automation Institute, 1979.
The paper presents a formal system and an inductive method for proving function properties and investigates the relationships between inductive and deductive proofs. Induction is performed by stepwise generalizing specific given elements of function domains which are known to satisfy the property itself. The method is based on symbolic computation, reflexivity lemmas and function behaviour estimate, and is proven sound when functions and predicates belong to a constructively defined class. Finally, an example is completely worked out.
Subject primitive recursive functions
inductive reasoning
symbolic computation
program properties
function behaviour estimate

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional