Pick your contexts well

DOI10.1145/1926385.1926390zbMath1284.68204OpenAlexW4251478049MaRDI QIDQ5408528

Ondřej Lhoták, Yannis Smaragdakis, Martin Bravenboer

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

zbMATH Keywords

context-sensitivitypoints-to analysistype-sensitivityobject-sensitivity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

TFA: an efficient and precise virtual method call resolution for Java ⋮ ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ⋮ Enforcing Programming Guidelines with Region Types and Effects ⋮ Hash consed points-to sets ⋮ Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability ⋮ Automatic synthesis of data-flow analyzers ⋮ Precise complexity guarantees for pointer analysis via Datalog with extensions ⋮ Abstract allocation as a unified approach to polyvariance in control-flow analyses ⋮ Quantified abstract configurations of distributed systems

This page was built for publication: Pick your contexts well