Buchumschlag

From Program Logics to Language Logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cimini, Matteo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Functional Logic Program Transformations
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
von: Flanagan, Cormac, et al.
Veröffentlicht: (2024)

A Monadic Implementation of Functional Logic Programs
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

Finite-Choice Logic Programming
von: Martens, Chris, et al.
Veröffentlicht: (2024)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
von: Zilberstein, Noam
Veröffentlicht: (2024)

Cerisier: A Program Logic for Attestation in a Capability Machine
von: Rousseau, June, et al.
Veröffentlicht: (2026)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
von: Warren, David S., et al.
Veröffentlicht: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
von: Wu, Shushu, et al.
Veröffentlicht: (2025)

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

FO-Complete Program Verification for Heap Logics
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
von: Nagy, Shaan, et al.
Veröffentlicht: (2024)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
von: Foo, Darius, et al.
Veröffentlicht: (2023)

A Language-Agnostic Logical Relation for Message-Passing Protocols
von: Zhang, Tesla, et al.
Veröffentlicht: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Types for Grassroots Logic Programs
von: Shapiro, Ehud
Veröffentlicht: (2026)

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

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
von: Zimmerman, Conrad, et al.
Veröffentlicht: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
von: Rocha, Filipe Marinho, et al.
Veröffentlicht: (2024)

Logical Relations for Session-Typed Concurrency
von: Balzer, Stephanie, et al.
Veröffentlicht: (2023)

A Hoare Logic for Symmetry Properties
von: Mehta, Vaibhav, et al.
Veröffentlicht: (2025)

Hyper Separation Logic (extended version)
von: Gospodinov, Trayan, et al.
Veröffentlicht: (2026)

Modeling Reachability Types with Logical Relations
von: Bao, Yuyan, et al.
Veröffentlicht: (2023)

Towards Definitional Interpreters for Hoare Logics
von: Sun, Ke, et al.
Veröffentlicht: (2026)

Unrealizability Logic
von: Kim, Jinwoo, et al.
Veröffentlicht: (2022)

RustyDL: A Program Logic for Rust
von: Drodt, Daniel, et al.
Veröffentlicht: (2026)

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)

A Program Logic for Under-approximating Worst-case Resource Usage
von: Jin, Ziyue, et al.
Veröffentlicht: (2025)

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System
von: Kifer, Michael, et al.
Veröffentlicht: (2026)

Verification Algorithms for Automated Separation Logic Verifiers
von: Eilers, Marco, et al.
Veröffentlicht: (2024)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
von: Wang, Zhiyi, et al.
Veröffentlicht: (2025)

Partial Incorrectness Logic
von: Verscht, Lena, et al.
Veröffentlicht: (2025)

On Computational Indistinguishability and Logical Relations
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2024)

Tail Modulo Cons, OCaml, and Relational Separation Logic
von: Allain, Clément, et al.
Veröffentlicht: (2024)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
von: Shapiro, Ehud
Veröffentlicht: (2025)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2024)

Recursive Mutexes in Separation Logic
von: Du, Ke, et al.
Veröffentlicht: (2026)