More Precise Yet Widely Applicable Cost Analysis
No abstract available.
Related papers
- PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs TOPLAS 2019
- Serializability for eventual consistency: criterion, analysis, and applications POPL 2017
- Bidirectional type checking for relational properties PLDI 2019
- Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity OOPSLA 2019
- More Precise Yet Efficient Type Inference for Logic Programs SAS 2002
- Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss TOPLAS 2014
- On the Complexity of Dataflow Analysis of Logic Programs TOPLAS 1995
- A modular cost analysis for probabilistic programs OOPSLA 2020