Standardization in resource lambda-calculus

Autor: Dominici, Maurizio, Della Rocca, Simona Ronchi, Tranquilli, Paolo

Publikováno v: EPTCS 101, 2012, pp. 1-11

The resource calculus is an extension of the lambda-calculus allowing to model resource consumption. It is intrinsically non-deterministic and has two general notions of reduction - one parallel, preserving all the possible results as a formal sum, a

Externí odkaz: http://arxiv.org/abs/1211.4097

Intuitionistic differential nets and lambda-calculus

Autor: Tranquilli, Paolo

Publikováno v: In Theoretical Computer Science 29 April 2011 412(20):1979-1997

Termination of Threads with Shared Memory via Infinitary Choice

Autor: Tranquilli, Paolo

We present a static type discipline on an extension of lambda-calculus with threads and shared memory ensuring termination. This discipline is based on a type and effects system, and is a condition forced on regions. It generalizes and clarifies the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::37d0c2d93426cac35ac38d9616c9fb66
https://hal.archives-ouvertes.fr/hal-00573690/document

Certified Complexity (CerCo)

Autor: Amadio, Roberto, Ayache, Nicolas, Bobot, Francois, Boender, Jaap, Campbell, Brian, Garnier, Ilias, Madet, Antoine, McKinna, James, Mulligan, Dominic, Piccolo, Mauro, Pollack, Robert, Régis-Giannas, Yann, Sacerdoti Coen, Claudio, Stark, Ian, Tranquilli, Paolo

Publikováno v: Amadio, R, Ayache, N, Bobot, F, Boender, J, Campbell, B, Garnier, I, Madet, A, McKinna, J, Mulligan, D, Piccolo, M, Pollack, R, Régis-Giannas, Y, Sacerdoti Coen, C, Stark, I & Tranquilli, P 2014, Certified Complexity (CerCo) . in Foundational and Practical Aspects of Resource Analysis : Revised Selected Papers from the Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 . Lecture Notes in Computer Science, vol. 8552, pp. 1-18 . https://doi.org/10.1007/978-3-319-12466-7_1

We provide an overview of the FET-Open Project CerCo (‘Certified Complexity’). Our main achievement is the development of a technique for analysing non-functional properties of programs (time, space) at the source level with little or no loss of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::82f25cc9343fd2f31bd5dc0dec1677b0
https://hdl.handle.net/20.500.11820/83417580-f556-481d-a81d-e0a1df149849

Certified Complexity (CerCo).

Autor: Amadio, Roberto M., Ayache, Nicolas, Bobot, Francois, Boender, Jaap P., Campbell, Brian, Garnier, Ilias, Madet, Antoine, McKinna, James, Mulligan, Dominic P., Piccolo, Mauro, Pollack, Randy, Régis-Gianas, Yann, Sacerdoti Coen, Claudio, Stark, Ian, Tranquilli, Paolo

Publikováno v: Foundational & Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers; 2014, p1-18, 18p