Semantic foundations for cost analysis of pipeline-optimized programs

DOI10.1007/978-3-031-22308-2_17zbMath1524.68073MaRDI QIDQ6164437

Gilles Barthe, David Pichardie, Adrien Koutsos, Peter Schwabe, Solène Mirliaz

Publication date: 28 July 2023

Published in: Static Analysis (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• A Hoare-like proof system for analysing the computation time of programs
• Closed-form upper bounds in static cost analysis
• Recursion and dynamic data-structures in bounded space
• Verifying Program Performance
• Resource bound certification
• EasyCrypt: A Tutorial
• SPEED
• Programming Languages and Systems
• Relational cost analysis
• Fast Software Encryption
• Public Key Cryptography - PKC 2006

This page was built for publication: Semantic foundations for cost analysis of pipeline-optimized programs