Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Daniele Filaretti"'
Autor:
Brandon Moore, Virgil Șerbănuță, Traian Florin Șerbănuță, Yi Zhang, Daniele Filaretti, Grigore Rosu, Dwight Guth, Ralph E. Johnson, Theodoros Kasampalis
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030309411
FM
FM
This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing and formally reasoning about smart contracts on the blockchain. IELE was designed by specifying its semantics formally in the K framework. Its implement
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6ba2d82ecfc6bf41c3e03cb7dbf9df3
https://doi.org/10.1007/978-3-030-30942-8_35
https://doi.org/10.1007/978-3-030-30942-8_35
Publikováno v:
JMIR Research Protocols, 7(5):e135. JMIR Publications Inc.
JMIR Research Protocols
JMIR Research Protocols
BACKGROUND: Dyslexia, a specific learning difficulty and a disability as defined in the Equality Act 2010, is a lifelong condition that affects a child from the start of education. Dyslexia is characterized by difficulties in language processing (rea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31e9584d5d57d2121a0e9888ca4c84e6
https://cris.maastrichtuniversity.nl/en/publications/4d3a518a-2a0e-41de-bdfe-d800229e2fa9
https://cris.maastrichtuniversity.nl/en/publications/4d3a518a-2a0e-41de-bdfe-d800229e2fa9
BACKGROUND Dyslexia, a specific learning difficulty and a disability as defined in the Equality Act 2010, is a lifelong condition that affects a child from the start of education. Dyslexia is characterized by difficulties in language processing (read
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a363f8a964b8fcd681b8261c10ff54a
https://doi.org/10.2196/preprints.9583
https://doi.org/10.2196/preprints.9583
Autor:
Daiva Naudziuniene, Martin Bodin, G. D. P. Smith, Philippa Gardner, Alan Schmitt, Daniele Filaretti, Arthur Charguéraud, Sergio Maffeis
Publikováno v:
POPL 2014-41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL 2014-41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
HAL
POPL
Scopus-Elsevier
POPL 2014-41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
HAL
POPL
Scopus-Elsevier
JavaScript is the most widely used web language for client-side applications. Whilst the development of JavaScript was initially just led by implementation, there is now increasing momentum behind the ECMA standardisation process. The time is ripe fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::36fca87e5d40dcd8a4422a0b6b15e449
https://inria.hal.science/hal-00910135
https://inria.hal.science/hal-00910135