Resource bound certification

DOI10.1145/325694.325716zbMath1323.68368OpenAlexW2066550846MaRDI QIDQ5178852

Stephanie Weirich, Karl Crary

Publication date: 17 March 2015

Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/325694.325716

Mathematics Subject Classification ID

Cryptography (94A60) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (21)

Verified Root-Balanced Trees ⋮ Space-aware ambients and processes ⋮ More Typed Assembly Languages for Confidentiality ⋮ Denotational semantics as a foundation for cost recurrence extraction for functional languages ⋮ Semantic foundations for cost analysis of pipeline-optimized programs ⋮ Closed-form upper bounds in static cost analysis ⋮ Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis ⋮ Oracle-guided scheduling for controlling granularity in implicitly parallel languages ⋮ Linear dependent types in a call-by-value scenario ⋮ Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits ⋮ Amortized complexity verified ⋮ A type system for counting instances of software components ⋮ Termination checking with types ⋮ A type system for lock-free processes ⋮ A Coq Library for Internal Verification of Running-Times ⋮ More Precise Yet Widely Applicable Cost Analysis ⋮ Certified abstract cost analysis ⋮ A Type System for Usage of Software Components ⋮ Cost analysis of object-oriented bytecode programs ⋮ Automated techniques for provably safe mobile code. ⋮ Distributed call-tracking for security

This page was built for publication: Resource bound certification