Zobrazeno 1 - 10
of 167
pro vyhledávání: '"Amadio, Roberto"'
Autor:
Joshi, Sonal, López, Lucía, Morosi, Luciano Gastón, Amadio, Roberto, Pachauri, Manendra, Bestagno, Marco, Ogar, Ironya Paul, Giacca, Mauro, Piperno, Giulia Maria, Vorselen, Daan, Benvenuti, Federica
Publikováno v:
In Cell Reports 23 April 2024 43(4)
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.
Autor:
Amadio, Roberto M., Regis-Gianas, Yann
We present a so-called labelling method to insert cost annotations in a higher-order functional program, to certify their correctness with respect to a standard compilation chain to assembly code including safe memory management, and to reason on the
Externí odkaz:
http://arxiv.org/abs/1110.2350
Autor:
Madet, Antoine, Amadio, Roberto M.
Linear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this framework to programs with multithreading and side effects focusing on the case of elementary time. Our main contribution
Externí odkaz:
http://arxiv.org/abs/1102.4971
Autor:
Amadio, Roberto
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.
Externí odkaz:
http://arxiv.org/abs/1102.2339
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the source code. To this end, we need a clear and flexible picture of: (i) th
Externí odkaz:
http://arxiv.org/abs/1010.1697
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values such as refe
Externí odkaz:
http://arxiv.org/abs/1005.0835
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values such as refe
Externí odkaz:
http://arxiv.org/abs/0912.0419
Autor:
Amadio, Roberto
Publikováno v:
Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Cor\'ee, R\'epublique De (2009)
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable stratification of the type and effect system entails the termination of
Externí odkaz:
http://arxiv.org/abs/0904.2076