Time credits and time receipts in Iris

DOI10.1007/978-3-030-17184-1_1zbMath1524.68097OpenAlexW2927734285MaRDI QIDQ6091293

François Pottier, Glen Mével, Jacques-Henri Jourdan

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-17184-1_1

zbMATH Keywords

program logicIris

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)

This page was built for publication: Time credits and time receipts in Iris