On the public citation graph
STLlint: lifting static checking from languages to libraries
0 signed · 58 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/(sici)1097-024x(199706)27:6<623::aid-spe97>3.0.co;2-gopenalex-snapshot
Efficient Storage of Weather Radar Data
inferredcites →https://doi.org/10.1002/spe.4380240703openalex-snapshot
Algorithm‐oriented generic libraries
inferredcites →https://doi.org/10.1006/jsco.2001.0494openalex-snapshot
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
inferredcites →https://doi.org/10.1007/978-0-387-35672-3_7openalex-snapshot
Making the Usage of STL Safe
inferredcites →https://doi.org/10.1007/978-0-585-27524-6_8openalex-snapshot
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
inferredcites →https://doi.org/10.1007/978-3-642-01815-2_23openalex-snapshot
RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS
inferredcites →https://doi.org/10.1007/b102246openalex-snapshot
Symbolic Analysis for Parallelizing Compilers
inferredcites →https://doi.org/10.1007/bfb0039704openalex-snapshot
Efficient chaotic iteration strategies with widenings
inferredcites →https://doi.org/10.1109/32.588523openalex-snapshot
Dynamic verification of C++ generic algorithms
inferredcites →https://doi.org/10.1109/32.798327openalex-snapshot
Interface compilation: steps toward compiling program interfaces as languages
inferredcites →https://doi.org/10.1109/32.825766openalex-snapshot
Automatically checking an implementation against its formal specification
inferredcites →https://doi.org/10.1109/ipdps.2002.1016576openalex-snapshot
Concept-based component libraries and optimizing compilers
inferredcites →https://doi.org/10.1109/tse.1977.231133openalex-snapshot
Compiler Analysis of the Value Ranges for Variables
inferredcites →https://doi.org/10.1145/178243.178264openalex-snapshot
Context-sensitive interprocedural points-to analysis in the presence of function pointers
inferredcites →https://doi.org/10.1145/225540.225541openalex-snapshot
Iteration abstraction in Sather
inferredcites →https://doi.org/10.1145/233561.233568openalex-snapshot
Symbolic analysis for parallelizing compilers
inferredcites →https://doi.org/10.1145/237721.237724openalex-snapshot
Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
inferredcites →https://doi.org/10.1145/237721.237725openalex-snapshot
Solving shape-analysis problems in languages with destructive updating
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/512529.512540openalex-snapshot
Deriving specialized program analyses for certifying component-client conformance
inferredcites →https://doi.org/10.1145/512529.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/73560.73561openalex-snapshot
Detecting equality of variables in programs
inferredcites →https://doi.org/10.1145/73560.73562openalex-snapshot
Global value numbers and redundant computations
inferredcites →https://doi.org/10.48550/arxiv.math/9810022openalex-snapshot
Active Libraries: Rethinking the roles of compilers and libraries
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11678779_9openalex-snapshot
An Extensible Open-Source Compiler Infrastructure for Testing
inferred← citeshttps://doi.org/10.1007/978-3-319-19249-9_26openalex-snapshot
A Fully Verified Container Library
inferred← citeshttps://doi.org/10.1007/978-3-642-02303-3_3openalex-snapshot
Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore
inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_9openalex-snapshot
Correct Code Containing Containers
inferred← citeshttps://doi.org/10.1007/s00165-017-0435-1openalex-snapshot
A fully verified container library
inferred← citeshttps://doi.org/10.1007/s10766-010-0139-0openalex-snapshot
Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.06.005openalex-snapshot
Measuring the Overhead of C++ Standard Template Library Safe Variants
inferred← citeshttps://doi.org/10.1016/j.scico.2014.09.006openalex-snapshot
Two techniques to improve the precision of a demand-driven null-dereference verification approach
inferred← citeshttps://doi.org/10.1063/1.5114355openalex-snapshot
Static analysis of functors’ mathematical properties in C++ source code
inferred← citeshttps://doi.org/10.1109/hpcc/smartcity/dss.2018.00157openalex-snapshot
Source-to-Source Instrumentation for Profiling Runtime Behavior of C++ Containers
inferred← citeshttps://doi.org/10.1109/icpc.2008.12openalex-snapshot
Ensuring Well-Behaved Usage of APIs through Syntactic Constraints
inferred← citeshttps://doi.org/10.1109/icpc.2010.37openalex-snapshot
Identification of Idiom Usage in C++ Generic Libraries
inferred← citeshttps://doi.org/10.1109/icsm.2008.4658054openalex-snapshot
Automatically identifying C++0x concepts in function templates
inferred← citeshttps://doi.org/10.1109/icsm.2009.5306392openalex-snapshot
Abstracting the template instantiation relation in C++
inferred← citeshttps://doi.org/10.1109/tse.2013.2297120openalex-snapshot
Symbolic Crosschecking of Data-Parallel Floating-Point Code
inferred← citeshttps://doi.org/10.1142/s0218194010004700openalex-snapshot
EXTENSIBLE SYNTAX-ORIENTED VERIFIER WITH CONTEXT-DEPENDENT RECURSIVE VERIFICATION
inferred← citeshttps://doi.org/10.1145/1273647.1273654openalex-snapshot
Techniques for specifying bug patterns
inferred← citeshttps://doi.org/10.1145/1321631.1321724openalex-snapshot
Verifying C++ with STL containers via predicate abstraction
inferred← citeshttps://doi.org/10.1145/1621607.1621611openalex-snapshot
Reusable, generic program analyses and transformations
inferred← citeshttps://doi.org/10.1145/1925844.1926407openalex-snapshot
Precise reasoning for programs using containers
inferred← citeshttps://doi.org/10.15476/elte.2020.212openalex-snapshot
Static Analyses for C++ in the Presence of Separate Compilation
inferred← citeshttps://doi.org/10.2172/926400openalex-snapshot
A Language for Specifying Compiler Optimizations for Generic Software
inferred← citeshttps://doi.org/10.2478/v10198-012-0003-9openalex-snapshot
Safe Iterator Framework for the C++ Standard Template Library
inferred← citeshttps://doi.org/10.33039/ami.2020.12.003openalex-snapshot
A static analysis method for safe comparison functors in C++
inferred← citeshttps://doi.org/10.3929/ethz-a-006042704openalex-snapshot
Static Analysis for SystemC with Scoot: From Verification to Simulation
inferred← citeshttps://doi.org/10.48550/arxiv.1111.3673openalex-snapshot
C++ Standard Template Library by template specialized containers
inferred← citeshttps://doi.org/10.71352/ac.36.341openalex-snapshot
Compile-time advances of the C++ Standard Template Library
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.