Buchumschlag

Artifact for paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nicola, Mihai, Agarwal, Chaitanya, Koskinen, Eric, Wies, Thomas
Format:	Recurso digital
Veröffentlicht:	Zenodo 2025
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
von: Nicola, Mihai, et al.
Veröffentlicht: (2024)

An Abstract Domain for Heap Commutativity (Extended Version)
von: Pincus, Jared, et al.
Veröffentlicht: (2024)

Higher-Order Temporal Network Prediction and Interpretation
von: Peters, H. A. Bart, et al.
Veröffentlicht: (2024)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2025)

Implementability of Global Distributed Protocols modulo Network Architectures
von: Li, Elaine, et al.
Veröffentlicht: (2026)

Abstracts of contributed papers
von:
Veröffentlicht: (2004)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
von: Martina, Antoine, et al.
Veröffentlicht: (2023)

Optimal Program Synthesis via Abstract Interpretation
von: Mell, Stephen, et al.
Veröffentlicht: (2026)

Innovation Diffusion on Higher‐Order Networks
von: Maria Letizia Bertotti, et al.
Veröffentlicht: (2025)

Verifying Lock-free Search Structure Templates
von: Patel, Nisarg, et al.
Veröffentlicht: (2024)

Context-Aware Separation Logic
von: Meyer, Roland, et al.
Veröffentlicht: (2023)

Deciding Subtyping for Asynchronous Multiparty Sessions
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Higher-Order Temporal Network Prediction
von: Jung-Muller, Mathieu, et al.
Veröffentlicht: (2023)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
von: Enea, Constantin, et al.
Veröffentlicht: (2023)

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
von: Marzari, Luca, et al.
Veröffentlicht: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

Consistent Updates for Scalable Microservices
von: Chait-Roth, Devora, et al.
Veröffentlicht: (2025)

Hybrid Graphs for Table-and-Text based Question Answering using LLMs
von: Agarwal, Ankush, et al.
Veröffentlicht: (2025)

Higher Order Reasoning for Collaborative Communicationless Mobile Robot Operations
von: Reasoner, Jonathan, et al.
Veröffentlicht: (2026)

SSA without Dominance for Higher-Order Programs
von: Leißa, Roland, et al.
Veröffentlicht: (2026)

Bialgebraic Reasoning on Higher-Order Program Equivalence
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

SSA without Dominance for Higher-Order Programs
von: Leißa, Roland, et al.
Veröffentlicht: (2026)

Higher-Order Asynchronous Effects
von: Ahman, Danel, et al.
Veröffentlicht: (2023)

The Abstract: The letter of presentation for a scientific paper
von: DIEGO CAMPS
Veröffentlicht: (2010)

GPU Implementation of Second-Order Linear and Nonlinear Programming Solvers
von: Montoison, Alexis, et al.
Veröffentlicht: (2025)

Complete Multiparty Session Type Projection with Automata
von: Li, Elaine, et al.
Veröffentlicht: (2023)

Characterizing Implementability of Global Protocols with Infinite States and Data
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Artifact for TOSEM paper: Exploring Development Methods for Reactive Synthesis Specifications
von: Ma'ayan, Dor, et al.
Veröffentlicht: (2025)

Movement Between Suffering and Health—Experience of Health During Long‐Term Illness
von: Monika Koskinen, et al.
Veröffentlicht: (2025)

FinBloom: Knowledge Grounding Large Language Model with Real-time Financial Data
von: Sinha, Ankur, et al.
Veröffentlicht: (2025)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
von: Artale, Alessandro, et al.
Veröffentlicht: (2022)

Statistical Abstract 1988. University of Alaska System of Higher Education.
von: Gaylord, Thomas, et al.
Veröffentlicht: (1989)

Expectation-based Analysis of Higher-Order Quantum Programs
von: Avanzini, Martin, et al.
Veröffentlicht: (2025)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2024)

The Stable Model Semantics for Higher-Order Logic Programming
von: Bogaerts, Bart, et al.
Veröffentlicht: (2024)

Abstracting Denotational Interpreters
von: Graf, Sebastian, et al.
Veröffentlicht: (2024)

Statistical Abstract 1987. [University of Alaska System of Higher Education].
von: Gaylord, Thomas A., et al.
Veröffentlicht: (1987)

Artifact: I have no idea how to make it safer: Studying Security and Privacy Mindsets of Browser Extension Developers
von: Agarwal, Shubham
Veröffentlicht: (2025)

Kuroda's Translation for Higher-Order Logic
von: Traversié, Thomas
Veröffentlicht: (2024)

Comprehensive Plugin-Based Monitoring of Nexflow Workflow Executions
von: Kharma, Sami, et al.
Veröffentlicht: (2026)