CCured

DOI10.1145/503272.503286zbMATH Open1323.68382OpenAlexW4234020632MaRDI QIDQ5178902FDOQ5178902

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Cited In (9)

• A Hybrid Approach for Safe Memory Management in C
• On the edge-length ratio of outerplanar graphs
• A type system for static and dynamic checking of C++ pointers
• Combining Model Checking and Testing
• Partitioned Memory Models for Program Analysis
• Title not available (Why is that?)
• Vector Commitments and Their Applications
• 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

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