Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Piccolo, Mauro"'
qPCF is a paradigmatic quantum programming language that ex- tends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data that can be duplicated and manipulated in flexible ways by means of a dependent ty
Externí odkaz:
http://arxiv.org/abs/1809.05723
Autor:
Gaboardi, Marco, Piccolo, Mauro
Publikováno v:
EPTCS 22, 2010, pp. 1-13
This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming language SlPCF. In particular, in this work, we introduce the notion of Sll-
Externí odkaz:
http://arxiv.org/abs/1003.5511
Publikováno v:
New Generation Computing. Jul2018, Vol. 36 Issue 3, p233-256. 24p.
Autor:
Faggian, Claudia, Piccolo, Mauro
Publikováno v:
In Electronic Notes in Theoretical Computer Science 9 July 2007 175(4):21-36
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We advance in the study of the semantics of Janus, a C-like reversible programming language. Our study makes utterly explicit some backward and forward evaluation symmetries. We want to deepen mathematical knowledge about the foundations and design p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ea114c645d48aad62e3a2985edeb408
http://hdl.handle.net/2318/99058
http://hdl.handle.net/2318/99058
Autor:
Piccolo, Mauro1 piccolo@di.unito.it
Publikováno v:
Fundamenta Informaticae. 2012, Vol. 121 Issue 1-4, p227-252. 26p. 3 Charts.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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
https://hdl.handle.net/20.500.11820/83417580-f556-481d-a81d-e0a1df149849