The present paper proposes first a generalization of closure theory and revisits Moore's theory in this framework. Afterwards closures of non cyclic functions are introduced and a method is given to transform cyclic into non cyclic functions. Eventually semantics of the while construct is found to be the closure of a function. Computability on inductive and non inductive data types is then studied with iterative means.
Partial closures and semantics of while: Towards an iteration-based theory of data types
MAZZANTI, STEFANO
1984-01-01
Abstract
The present paper proposes first a generalization of closure theory and revisits Moore's theory in this framework. Afterwards closures of non cyclic functions are introduced and a method is given to transform cyclic into non cyclic functions. Eventually semantics of the while construct is found to be the closure of a function. Computability on inductive and non inductive data types is then studied with iterative means.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
