Copertina

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nicola, Mihai, Agarwal, Chaitanya, Koskinen, Eric, Wies, Thomas
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Artifact for paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
di: Nicola, Mihai, et al.
Pubblicazione: (2025)

An Abstract Domain for Heap Commutativity (Extended Version)
di: Pincus, Jared, et al.
Pubblicazione: (2024)

Optimal Program Synthesis via Abstract Interpretation
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Context-Aware Separation Logic
di: Meyer, Roland, et al.
Pubblicazione: (2023)

Implementability of Global Distributed Protocols modulo Network Architectures
di: Li, Elaine, et al.
Pubblicazione: (2026)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
di: Enea, Constantin, et al.
Pubblicazione: (2023)

Consistent Updates for Scalable Microservices
di: Chait-Roth, Devora, et al.
Pubblicazione: (2025)

SSA without Dominance for Higher-Order Programs
di: Leißa, Roland, et al.
Pubblicazione: (2026)

Abstracting Denotational Interpreters
di: Graf, Sebastian, et al.
Pubblicazione: (2024)

Verifying Lock-free Search Structure Templates
di: Patel, Nisarg, et al.
Pubblicazione: (2024)

Characterizing Implementability of Global Protocols with Infinite States and Data
di: Li, Elaine, et al.
Pubblicazione: (2024)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
di: Gomber, Shaurya, et al.
Pubblicazione: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
di: Young, David, et al.
Pubblicazione: (2024)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
di: Ciccalè, Marco, et al.
Pubblicazione: (2025)

Correctness Witness Validation by Abstract Interpretation
di: Saan, Simmo, et al.
Pubblicazione: (2023)

Bialgebraic Reasoning on Higher-Order Program Equivalence
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Higher-Order Asynchronous Effects
di: Ahman, Danel, et al.
Pubblicazione: (2023)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
di: Foo, Darius, et al.
Pubblicazione: (2023)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
di: Yang, Zhixuan, et al.
Pubblicazione: (2025)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Arithmetizing Shape Analysis
di: Wolff, Sebastian, et al.
Pubblicazione: (2024)

Complete Multiparty Session Type Projection with Automata
di: Li, Elaine, et al.
Pubblicazione: (2023)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
di: Xu, Han, et al.
Pubblicazione: (2026)

Abstract Interpretation-Based Data Leakage Static Analysis
di: Drobnjaković, Filip, et al.
Pubblicazione: (2022)

Logical Relations for Formally Verified Authenticated Data Structures
di: Gregersen, Simon Oddershede, et al.
Pubblicazione: (2025)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
di: Lee, Jay
Pubblicazione: (2025)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
di: Liang, Eric
Pubblicazione: (2026)

HITrees: Higher-Order Interaction Trees
di: Ayyam, Amir Mohammad Fadaei, et al.
Pubblicazione: (2025)

Higher Order Automatic Differentiation of Higher Order Functions
di: Huot, Mathieu, et al.
Pubblicazione: (2021)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Cost-Driven Synthesis of Sound Abstract Interpreters
di: Gu, Qiuhan, et al.
Pubblicazione: (2025)

Higher-Order Behavioural Conformances via Fibrations
di: Urbat, Henning
Pubblicazione: (2025)

Debugging Functional Programs by Interpretation
di: Whitington, John
Pubblicazione: (2024)

Actegories, Copowers, and Higher-Order Message Passing Semantics
di: Cockett, Robin, et al.
Pubblicazione: (2025)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
di: Aguirre, Alejandro, et al.
Pubblicazione: (2024)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
di: Estep, Sam
Pubblicazione: (2024)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
di: Dong, Rui, et al.
Pubblicazione: (2026)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
di: Schwarz, Michael, et al.
Pubblicazione: (2025)

Synthesizing Abstract Transformers for Reduced-Product Domains
di: Kalita, Pankaj Kumar, et al.
Pubblicazione: (2024)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)