 |
|
|
|
| HAL : hal-00565222, version 1 |
| arXiv : 1102.2339 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| A decompilation of the pi-calculus and its application to termination |
|
|
| Roberto Amadio 1 |
|
|
| (01/02/2011) |
|
|
|
| We study the correspondence between a concurrent lambda-calculus in administrative, continuation passing style and a pi-calculus and we derive a termination result for the latter. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
|
|
| Administrative form. CPS. Lambda calculus. Pi calculus. Termination. |
|
|
|
|
|
| hal-00565222, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00565222 | |
| oai:hal.archives-ouvertes.fr:hal-00565222 | |
| Contributeur : Roberto Amadio | |
| Soumis le : Vendredi 11 Février 2011, 11:50:45 | |
| Dernière modification le : Vendredi 18 Mai 2012, 09:53:11 | |
