CCured

DOI10.1145/503272.503286zbMath1323.68382OpenAlexW4234020632MaRDI QIDQ5178902

Scott McPeak, Westley Weimer, George C. Necula

Publication date: 17 March 2015

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Combining Model Checking and Testing ⋮ Partitioned Memory Models for Program Analysis ⋮ On the edge-length ratio of outerplanar graphs ⋮ Vector Commitments and Their Applications ⋮ A type system for static and dynamic checking of C++ pointers ⋮ A Hybrid Approach for Safe Memory Management in C ⋮ Stochastic Modelling of Communication Protocols from Source Code ⋮ Using static analysis to reduce dynamic analysis overhead

Uses Software

• CCured

This page was built for publication: CCured