Pick your contexts well
From MaRDI portal
Publication:5408528
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
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
