Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Types intersection"'
Autor:
De Benedetti, Erika
La complexité implicite (ICC) vise à donner des caractérisations de classes de complexité dans des langages de programmation ou des logiques, sans faire référence à des bornes sur les ressources (temps, espace mémoire). Dans cette thèse, nou
Externí odkaz:
http://www.theses.fr/2015ENSL0981/document
Autor:
de Benedetti, Erika
Publikováno v:
Other [cs.OH]. Ecole normale supérieure de lyon-ENS LYON; Universita degli studi (Turin, Italie), 2015. English. ⟨NNT : 2015ENSL0981⟩
Other [cs.OH]. Ecole normale supérieure de lyon-ENS LYON; Università degli studi (Torino, Italia), 2015. English. ⟨NNT : 2015ENSL0981⟩
Other [cs.OH]. Ecole normale supérieure de lyon-ENS LYON; Università degli studi (Torino, Italia), 2015. English. ⟨NNT : 2015ENSL0981⟩
In this thesis we explore the linear logic approach to implicit computational complexity, through the design of type assignment systems based on light linear logic, or heavily inspired by them, with the purpose of giving a characterization of one or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c3fff6eb119522cbb2a9e830461de263
https://theses.hal.science/tel-01123737/document
https://theses.hal.science/tel-01123737/document
Autor:
Prost, Frederic
Publikováno v:
[Research Report] LIP RR-1997-10, Laboratoire de l'informatique du parallélisme. 1997, 2+23p
In this paper we extend, by allowing rank 2 intersection types, the type assignment system for the detection and elimination of dead code in typed functional programs presented by Coppo et al Giannini and the first author in the Static Analysis Sympo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0034d9530d5b8e6c0baf6f0ab981fa7e
https://hal-lara.archives-ouvertes.fr/hal-02101840/document
https://hal-lara.archives-ouvertes.fr/hal-02101840/document