Saved in:
| Main Authors: | Danish, Matthew, Orchard, Dominic, Rice, Andrew |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2406.02174 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Functional Ownership through Fractional Uniqueness
by: Marshall, Danielle, et al.
Published: (2023)
by: Marshall, Danielle, et al.
Published: (2023)
Graded Modal Types for Integrity and Confidentiality
by: Marshall, Danielle, et al.
Published: (2023)
by: Marshall, Danielle, et al.
Published: (2023)
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
by: Marshall, Danielle, et al.
Published: (2022)
by: Marshall, Danielle, et al.
Published: (2022)
Cognacy Queries over Dependence Graphs for Transparent Visualisations
by: Bond, Joseph, et al.
Published: (2024)
by: Bond, Joseph, et al.
Published: (2024)
A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
by: Vollmer, Victoria, et al.
Published: (2024)
by: Vollmer, Victoria, et al.
Published: (2024)
Literate Execution
by: Bond, Joe, et al.
Published: (2026)
by: Bond, Joe, et al.
Published: (2026)
Solvent: liquidity verification of smart contracts
by: Bartoletti, Massimo, et al.
Published: (2024)
by: Bartoletti, Massimo, et al.
Published: (2024)
Incremental Computation: What Is the Essence?
by: Liu, Yanhong A.
Published: (2023)
by: Liu, Yanhong A.
Published: (2023)
Neuroforger: certified violation witnesses for smart contracts verification via LLMs
by: Bartoletti, Massimo, et al.
Published: (2026)
by: Bartoletti, Massimo, et al.
Published: (2026)
Incremental Live Programming via Shortcut Memoization
by: Kirisame, Marisa, et al.
Published: (2026)
by: Kirisame, Marisa, et al.
Published: (2026)
Incremental Bidirectional Typing via Order Maintenance
by: Porter, Thomas J., et al.
Published: (2025)
by: Porter, Thomas J., et al.
Published: (2025)
VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
by: Jacobs, Bart
Published: (2025)
by: Jacobs, Bart
Published: (2025)
Incremental Proof Development in Dafny with Module-Based Induction
by: Ho, Son, et al.
Published: (2024)
by: Ho, Son, et al.
Published: (2024)
An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)
by: Zhou, Chenyu, et al.
Published: (2024)
FlowLog: Efficient and Extensible Datalog via Incrementality
by: Zhao, Hangdong, et al.
Published: (2025)
by: Zhao, Hangdong, et al.
Published: (2025)
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
by: Schröer, Philipp, et al.
Published: (2026)
by: Schröer, Philipp, et al.
Published: (2026)
Incremental Randomized Smoothing Certification
by: Ugare, Shubham, et al.
Published: (2023)
by: Ugare, Shubham, et al.
Published: (2023)
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)
by: Böhler, Timon, et al.
Published: (2026)
Incremental Context-free Grammar Inference in Black Box Settings
by: Li, Feifei, et al.
Published: (2024)
by: Li, Feifei, et al.
Published: (2024)
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
by: Peng, Xuanyu, et al.
Published: (2025)
by: Peng, Xuanyu, et al.
Published: (2025)
Operon: Incremental Construction of Ragged Data via Named Dimensions
by: Moon, Sungbin, et al.
Published: (2025)
by: Moon, Sungbin, et al.
Published: (2025)
Quantum Circuits Are Just a Phase
by: Heunen, Chris, et al.
Published: (2025)
by: Heunen, Chris, et al.
Published: (2025)
Pathological Cases for a Class of Reachability-Based Garbage Collectors
by: Sotoudeh, Matthew
Published: (2025)
by: Sotoudeh, Matthew
Published: (2025)
A Coq implementation of a Theory of Tagged Objects
by: Gates, Matthew, et al.
Published: (2025)
by: Gates, Matthew, et al.
Published: (2025)
Type-Error Ablation and AI Coding Agents
by: Krishnamurthi, Shriram, et al.
Published: (2026)
by: Krishnamurthi, Shriram, et al.
Published: (2026)
Corps: A Core Calculus of Hierarchical Choreographic Programming
by: Hirsch, Andrew K.
Published: (2024)
by: Hirsch, Andrew K.
Published: (2024)
MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
by: Brun, Matthew Alan Le, et al.
Published: (2024)
by: Brun, Matthew Alan Le, et al.
Published: (2024)
Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
by: Britton, Matthew, et al.
Published: (2026)
by: Britton, Matthew, et al.
Published: (2026)
Literate Tracing
by: Sotoudeh, Matthew
Published: (2025)
by: Sotoudeh, Matthew
Published: (2025)
Multiparty Session Types with a Bang!
by: Brun, Matthew Alan Le, et al.
Published: (2025)
by: Brun, Matthew Alan Le, et al.
Published: (2025)
Step in Tine: Forking Processes in Functional Choreographies
by: Samuelson, Ashley, et al.
Published: (2026)
by: Samuelson, Ashley, et al.
Published: (2026)
Understanding Haskell-style Overloading via Open Data and Open Functions
by: Marmaduke, Andrew, et al.
Published: (2025)
by: Marmaduke, Andrew, et al.
Published: (2025)
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
by: Samuelson, Ashley, et al.
Published: (2025)
by: Samuelson, Ashley, et al.
Published: (2025)
TQL: Towards Type-Driven Data Discovery
by: Kang, Andrew, et al.
Published: (2025)
by: Kang, Andrew, et al.
Published: (2025)
Automated Verification of Monotonic Data Structure Traversals in C
by: Sotoudeh, Matthew
Published: (2025)
by: Sotoudeh, Matthew
Published: (2025)
Linear and non-linear relational analyses for Quantum Program Optimization
by: Amy, Matthew, et al.
Published: (2024)
by: Amy, Matthew, et al.
Published: (2024)
Automated Formal Verification of a Software Fault Isolation System
by: Sotoudeh, Matthew, et al.
Published: (2025)
by: Sotoudeh, Matthew, et al.
Published: (2025)
Code Sharing in Healthcare Research: A Practical Guide and Recommendations for Good Practice
by: Hughes-Noehrer, Lukas, et al.
Published: (2025)
by: Hughes-Noehrer, Lukas, et al.
Published: (2025)
Abstracting Extensible Recursive Functions
by: Hubers, Alex, et al.
Published: (2024)
by: Hubers, Alex, et al.
Published: (2024)
Syntactic Completions with Material Obligations
by: Moon, David, et al.
Published: (2025)
by: Moon, David, et al.
Published: (2025)
Similar Items
-
Functional Ownership through Fractional Uniqueness
by: Marshall, Danielle, et al.
Published: (2023) -
Graded Modal Types for Integrity and Confidentiality
by: Marshall, Danielle, et al.
Published: (2023) -
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
by: Marshall, Danielle, et al.
Published: (2022) -
Cognacy Queries over Dependence Graphs for Transparent Visualisations
by: Bond, Joseph, et al.
Published: (2024) -
A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
by: Vollmer, Victoria, et al.
Published: (2024)