Extensional Collapse Situations I: non-termination and unrecoverable errorsReportar como inadecuado




Extensional Collapse Situations I: non-termination and unrecoverable errors - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes

Abstract : We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined form a lattice when ordered by the extensional collapse situation relation, introduced in order to compare models with respect to the amount of -intensional information- that they provide on computation. The proofs are carried out by exhibiting suitable applied λ-calculi, and by exploiting the fundamental lemma of logical relations.





Autor: Antonio Bucciarelli -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados