Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Zappa Nardelli, Francesco"'
Publikováno v:
ECOOP 2019-33rd European Conference of Object-Oriented Programming
ECOOP 2019-33rd European Conference of Object-Oriented Programming, Jul 2019, London, United Kingdom. ⟨10.4230/LIPIcs.ECOOP.2019.6⟩
ECOOP 2019-33rd European Conference of Object-Oriented Programming, Jul 2019, London, United Kingdom. ⟨10.4230/LIPIcs.ECOOP.2019.6⟩
International audience; The Julia programming language supports multiple dispatch and provides a rich type annotation language to specify method applicability. When multiple methods are applicable for a given call, Julia relies on subtyping between m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::111b4f842bbcca8df9f57194ead1e31d
https://doi.org/10.4230/lipics.ecoop.2019.24
https://doi.org/10.4230/lipics.ecoop.2019.24
Publikováno v:
ECOOP 2018-2018 European Conference on Object-Oriented Programming
ECOOP 2018-2018 European Conference on Object-Oriented Programming, Jul 2018, Amsterdam, Netherlands
DARTS
ECOOP 2018-2018 European Conference on Object-Oriented Programming, Jul 2018, Amsterdam, Netherlands
DARTS
International audience; A wide range of gradual type systems have been proposed, providing many languages with the ability to mix typed and untyped code. However, hiding under language details, these gradual type systems embody fundamentally differen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad8e56479a9b37581d501a347afae74e
https://doi.org/10.4230/lipics.ecoop.2018.12
https://doi.org/10.4230/lipics.ecoop.2018.12
Autor:
Zappa Nardelli, Francesco
Publikováno v:
Computer Science [cs]. ENS Paris-Ecole Normale Supérieure de Paris, 2014
The amazing complexity of today's programming calls for a new engineering approach to build robust systems. Recent progress in formal methods and mechanised proof assistants have made it possible to apply mathematically rigorous methods to the specif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::68ce0a1284396ac1ad8be61ebfe51890
https://hal.inria.fr/tel-01110117
https://hal.inria.fr/tel-01110117
Publikováno v:
29th European Conference on Object-Oriented Programming (ECOOP 2015)
29th European Conference on Object-Oriented Programming (ECOOP 2015), Jul 2015, Prague, Czech Republic. ⟨10.4230/LIPIcs.ECOOP.2015.76⟩
29th European Conference on Object-Oriented Programming (ECOOP 2015), Jul 2015, Prague, Czech Republic. ⟨10.4230/LIPIcs.ECOOP.2015.76⟩
Typescript extends JavaScript with optional type annotations that are, by design, unsound and, that the Typescript compiler discards as it emits code. This design point preserves programming idioms developers are familiar with, and allows them to lea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74242c50b62617bd80387dbaefdf1863
https://hal.inria.fr/hal-01239167
https://hal.inria.fr/hal-01239167
Autor:
Sewell, Peter, Leifer, James J., Wansbrough, Keith, Allen-Williams, Mair, Zappa Nardelli, Francesco, Habouzit, Pierre, Vafeiadis, Viktor
Publikováno v:
[Research Report] RR-5329, INRIA. 2004, pp.193
This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we have defined and implemented. Acute extends an OCaml core to support distributed dev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ea49143146cd98e816d5180589873515
https://hal.inria.fr/inria-00070671
https://hal.inria.fr/inria-00070671
Autor:
Vafeiadis, Viktor, Balabonski, Thibaut, Chakraborty, Soham, Morisset, Robin, Zappa Nardelli, Francesco
Publikováno v:
ACM / SIGPLAN Notices; Jan2015, Vol. 50 Issue 1, p209-220, 12p
Publikováno v:
Proceedings of the 34th ACM SIGPLAN Conference Programming Language Design & Implementation; 6/16/2013, p187-196, 10p
Autor:
Ŝevčik, Jaroslav, Vafeiadis, Viktor, Zappa Nardelli, Francesco, Jagannathan, Suresh, Sewell, Peter
Publikováno v:
Proceedings of the 38th Annual ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/26/2011, p43-54, 12p
Publikováno v:
ACM / SIGPLAN Notices; Aug2013, Vol. 48 Issue 8, p69-80, 12p
Publikováno v:
International Conference on Compiler Construction (CC)
International Conference on Compiler Construction (CC), Feb 2017, Austin, United States
CC
International Conference on Compiler Construction (CC), Feb 2017, Austin, United States
CC
We show how partial redundancy elimination (PRE) can be instantiated to perform provably correct fence elimination for multi-threaded programs running on top of the x86, ARM and IBM Power relaxed memory models. We have implemented our algorithm in th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::84d5eea8b7b170bc16c33d52cbbf3829
https://hal.inria.fr/hal-01423612
https://hal.inria.fr/hal-01423612