Copertina

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Timany, Amin, Gregersen, Simon Oddershede, Stefanesco, Léo, Hinrichsen, Jonas Kastberg, Gondelman, Léon, Nieto, Abel, Birkedal, Lars
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Programming Languages Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reasoning about Weak Isolation Levels in Separation Logic
di: Mathiasen, Anders Alnor, et al.
Pubblicazione: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2026)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Almost-Sure Termination by Guarded Refinement
di: Gregersen, Simon Oddershede, et al.
Pubblicazione: (2024)

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

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

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

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

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
di: Stepanenko, Sergei, et al.
Pubblicazione: (2025)

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

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
di: Marković, Đorđe, et al.
Pubblicazione: (2025)

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

Towards Concurrent Quantitative Separation Logic
di: Fesefeldt, Ira, et al.
Pubblicazione: (2022)

Constructive characterisations of the must-preorder for asynchrony
di: Bernardi, Giovanni, et al.
Pubblicazione: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
di: Le, Quang Loc
Pubblicazione: (2025)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
di: de Medeiros, Markus, et al.
Pubblicazione: (2026)

Kuroda's Translation for Higher-Order Logic
di: Traversié, Thomas
Pubblicazione: (2024)

Syntactic Effectful Realizability in Higher-Order Logic
di: Cohen, Liron, et al.
Pubblicazione: (2025)

On Propositional Dynamic Logic and Concurrency
di: Acclavio, Matteo, et al.
Pubblicazione: (2024)

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
di: Majkic, Zoran
Pubblicazione: (2025)

A denotationally-based program logic for higher-order store
di: Aagaard, Frederik Lerbjerg, et al.
Pubblicazione: (2023)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
di: Charalambidis, Angelos, et al.
Pubblicazione: (2026)

Controlling unfolding in type theory
di: Gratzer, Daniel, et al.
Pubblicazione: (2022)

Unifying cubical and multimodal type theory
di: Aagaard, Frederik Lerbjerg, et al.
Pubblicazione: (2022)

Monadic Second-Order Logic of Permutations
di: Jelínek, Vít, et al.
Pubblicazione: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Teaching Higher-Order Logic Using Isabelle
di: Lund, Simon Tobias, et al.
Pubblicazione: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2024)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
di: Fandinno, Jorge, et al.
Pubblicazione: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

Dynamic Separation Logic
di: de Boer, Frank S., et al.
Pubblicazione: (2023)

The Modal Logic of Abstraction Refinement
di: Piribauer, Jakob, et al.
Pubblicazione: (2026)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
di: Bodirsky, Manuel, et al.
Pubblicazione: (2020)

Generalized Security-Preserving Refinement for Concurrent Systems
di: Sun, Huan, et al.
Pubblicazione: (2025)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
di: Kura, Satoshi, et al.
Pubblicazione: (2024)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
di: Fandinno, Jorge, et al.
Pubblicazione: (2024)

Systematic Design of Separation Logics
di: Bruni, Roberto, et al.
Pubblicazione: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Wright's First-Order Logic of Strict Finitism
di: Yamada, Takahiro
Pubblicazione: (2024)