Sorting Out the Relationships Between Pairs of Iterators, Values, and References
No abstract available.
Related papers
- Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories APLAS 2024
- Intrinsically Correct Sorting in Cubical Agda CPP 2025
- Reference Counting as a Computational Interpretation of Linear Logic JFP 1996
- Towards Efficient Compiler Auto-tuning: Leveraging Synergistic Search Spaces CGO 2025
- A Relationship Between Abstract Interpretation and Projection Analysis POPL 1990
- Review of "Algorithms for Functional Programming" by John David Stone, Springer-Verlag, 2018 JFP 2020
- Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach VMCAI 2014
- Compiler support for speculative multithreading architecture with probabilistic points-to analysis PPoPP 2003