Author:
Amadio Roberto M.,Ayache Nicolas,Bobot Francois,Boender Jaap P.,Campbell Brian,Garnier Ilias,Madet Antoine,McKinna James,Mulligan Dominic P.,Piccolo Mauro,Pollack Randy,Régis-Gianas Yann,Sacerdoti Coen Claudio,Stark Ian,Tranquilli Paolo
Publisher
Springer International Publishing
Reference18 articles.
1. AbsInt: aiT WCET analysis tools.
http://www.absint.com/ait/
2. Amadio, R., Asperti, A., Ayache, N., Campbell, B., Mulligan, D.P., Pollack, R., Régis-Gianas, Y., Coen, C.S., Stark, I.: Certified complexity. Procedia Comput. Sci. 7, 175–177 (2011). Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11)
3. Lecture Notes in Computer Science;RM Amadio,2012
4. Lecture Notes in Computer Science;A Asperti,2011
5. Lecture Notes in Computer Science;N Ayache,2012
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Metalanguage for Cost-Aware Denotational Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. A High-Level Separation Logic for Heap Space under Garbage Collection;Proceedings of the ACM on Programming Languages;2023-01-09
3. Islaris: verification of machine code against authoritative ISA semantics;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
4. Verified compilation of C programs with a nominal memory model;Proceedings of the ACM on Programming Languages;2022-01-12
5. Reconciling Verified-Circuit Development and Verilog Development;Form Comp Aid Design;2022