|
|||||
|
|
Probabilistic {lambda}-calculus and Quantitative Program Analysis |
|
| Authors: | Di Pierro Alessandra; Hankin Chris; Wiklicky Herbert |
| Affiliation: | 1 Università di Pisa, Dipartimento di Informatica, Largo Bruno Pontecorvo, 3, 56127 Pisa, Italy. E-mail: dipierro{at}di.unipi.it, 2 Department of Computing, Imperial College, 180 Queen's Gate, London SW7 2AZ, UK. E-mail: clh{at}doc.ic.ac.uk, herbert{at}doc.ic.ac.uk |
| Abstract: | |
| Keywords: | Lambda calculus program analysis probabilistic abstract interpretation |
| 本文献已被 Oxford 等数据库收录！ | |