Abstract Lipschitz continuity. Combining semantic and quantitative approximations

DOI10.1007/978-3-032-22730-0_8MaRDI QIDQ7317480zbMATH OpenFDO

Authors Marco Campion, Isabella Mastroeni, Michele Pasqua, C. Urban

Publication date 24 August 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-22730-0_8

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A correctness and incorrectness program logic
• Abstract non-interference
• An abstract interpretation framework for input data usage
• An abstract interpretation-based framework for software watermarking
• Analyzing program analyses
• Complete Lattices and Up-To Techniques
• Continuity analysis of programs
• Distance makes the types grow stronger: a calculus for differential privacy
• Distance-based classification with Lipschitz functions
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• scientific article; zbMATH DE number 3261280 (Why is no real title available?)
• Is Your Software on Dope?
• Lectures on convex optimization
• Making abstract interpretations complete
• Our Data, Ourselves: Privacy Via Distributed Noise Generation
• Principles of abstract interpretation
• Probabilistic relational reasoning via metrics
• Programming Languages and Systems
• Theory of Cryptography
• Up-to techniques for behavioural metrics via fibrations

This page was built for publication: Abstract Lipschitz continuity. Combining semantic and quantitative approximations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7317480)