Copertina

Law and Order for Typestate with Borrowing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Saffrich, Hannes, Nishida, Yuki, Thiemann, Peter
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

Typestate via Revocable Capabilities
di: Jia, Songlin, et al.
Pubblicazione: (2025)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
di: Heuvel, Bas van den, et al.
Pubblicazione: (2025)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
di: Matsushita, Yusuke, et al.
Pubblicazione: (2026)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
di: Grannan, Zachary, et al.
Pubblicazione: (2025)

Borrowing Dirty Qubits in Quantum Programs
di: Su, Bonan, et al.
Pubblicazione: (2025)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
di: Ho, Son, et al.
Pubblicazione: (2024)

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

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
di: Parrinha, Francisco, et al.
Pubblicazione: (2026)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
di: Koch, Mark, et al.
Pubblicazione: (2025)

Laws of Quantum Programming
di: Ying, Mingsheng, et al.
Pubblicazione: (2024)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
di: Monat, Raphaël, et al.
Pubblicazione: (2024)

Ozone: Fully Out-of-Order Choreographies
di: Plyukhin, Dan, et al.
Pubblicazione: (2024)

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

Maximal Simplification of Polyhedral Reductions
di: Narmour, Louis, et al.
Pubblicazione: (2023)

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

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

Incremental Bidirectional Typing via Order Maintenance
di: Porter, Thomas J., et al.
Pubblicazione: (2025)

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

Simplification of Polyhedral Reductions in Practice
di: Narmour, Louis, et al.
Pubblicazione: (2024)

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

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

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)

CUTECat: Concolic Execution for Computational Law
di: Goutagny, Pierre, et al.
Pubblicazione: (2024)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
di: Tunç, Hünkar Can, et al.
Pubblicazione: (2024)

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

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

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
di: He, Siyuan, et al.
Pubblicazione: (2025)

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

Parsimonious Optimal Dynamic Partial Order Reduction
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)

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

LuxBorrow: From Pompier to Pompjee, Tracing Borrowing in Luxembourgish
di: Hosseini-Kivanani, Nina, et al.
Pubblicazione: (2026)

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

Diagram Control and Model Order for Sugiyama Layouts
di: Domrös, Sören, et al.
Pubblicazione: (2024)

The Decision Problem for Regular First-Order Theories
di: Mathur, Umang, et al.
Pubblicazione: (2024)

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

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

Towards a Higher-Order Bialgebraic Denotational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2026)

On Higher-Order Reachability Games vs May Reachability
di: Asada, Kazuyuki, et al.
Pubblicazione: (2022)

Clean for Haskell Programmers
di: Lubbers, Mart, et al.
Pubblicazione: (2024)