Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Cătălin Hrițcu"'
Autor:
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Cătălin Hrițcu, Kenji Maillard, Bas Spitters
Publikováno v:
ACM Transactions on Programming Languages and Systems.
State-separating proofs (SSP) is a recent methodology for structuring game-based cryptographic proofs in a modular way, by using algebraic laws to exploit the modular structure of composed protocols. While promising, this methodology was previously n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::527ef3480187e0fa65e80de3b22ec333
https://doi.org/10.1145/3594735
https://doi.org/10.1145/3594735
Autor:
Carmine Abate, Roberto Blanco, Ștefan Ciobâcă, Marco Patrignani, Adrien Durier, Jérémy Thibault, Éric Tanter, Cătălin Hrițcu, Deepak Garg
Publikováno v:
Programming Languages and Systems
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems ISBN: 9783030449131
ESOP
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems ISBN: 9783030449131
ESOP
Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc21d4a5ceaf59064bf89c09ed1b98fd
http://europepmc.org/articles/PMC7702255
http://europepmc.org/articles/PMC7702255
Autor:
Catalin Hritcu, Jan Schwinghammer
Publikováno v:
Logical Methods in Computer Science, Vol Volume 5, Issue 4 (2009)
Step-indexed semantic interpretations of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. The types are interpreted as sets of values indexed by the number of computation steps for which these v
Externí odkaz:
https://doaj.org/article/c1499712fdea4cc1b05f60d3b71c053f