Pick your contexts well, understanding object-sensitivity
DOI10.1145/1926385.1926390zbMATH Open1284.68204OpenAlexW4251478049MaRDI QIDQ5408528FDOQ5408528
Authors: Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták 
Publication date: 10 April 2014
Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1926385.1926390
Recommendations
Analysis of algorithms and problem complexity (68Q25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (14)
- TFA: an efficient and precise virtual method call resolution for Java
- Title not available (Why is that?)
- Abstract allocation as a unified approach to polyvariance in control-flow analyses
- Hash consed points-to sets
- Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
- ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
- Precise complexity guarantees for pointer analysis via Datalog with extensions
- Quantified abstract configurations of distributed systems
- Enforcing Programming Guidelines with Region Types and Effects
- Context-sensitive analysis without calling-context
- From object fields to local variables: a practical approach to field-sensitive analysis
- Automatic synthesis of data-flow analyzers
- Title not available (Why is that?)
- Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis
This page was built for publication: Pick your contexts well, understanding object-sensitivity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408528)
