Cover Image

Incremental units-of-measure verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Danish, Matthew, Orchard, Dominic, Rice, Andrew
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
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)

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)

Literate Execution
by: Bond, Joe, et al.
Published: (2026)

Solvent: liquidity verification of smart contracts
by: Bartoletti, Massimo, et al.
Published: (2024)

Incremental Computation: What Is the Essence?
by: Liu, Yanhong A.
Published: (2023)

Incremental Live Programming via Shortcut Memoization
by: Kirisame, Marisa, et al.
Published: (2026)

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

Incremental Proof Development in Dafny with Module-Based Induction
by: Ho, Son, et al.
Published: (2024)

VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
by: Jacobs, Bart
Published: (2025)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
by: Bartoletti, Massimo, et al.
Published: (2026)

FlowLog: Efficient and Extensible Datalog via Incrementality
by: Zhao, Hangdong, et al.
Published: (2025)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
by: Schröer, Philipp, et al.
Published: (2026)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

Incremental Randomized Smoothing Certification
by: Ugare, Shubham, et al.
Published: (2023)

Incremental Context-free Grammar Inference in Black Box Settings
by: Li, Feifei, et al.
Published: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
by: Peng, Xuanyu, et al.
Published: (2025)

Pathological Cases for a Class of Reachability-Based Garbage Collectors
by: Sotoudeh, Matthew
Published: (2025)

Operon: Incremental Construction of Ragged Data via Named Dimensions
by: Moon, Sungbin, et al.
Published: (2025)

A Coq implementation of a Theory of Tagged Objects
by: Gates, Matthew, et al.
Published: (2025)

Type-Error Ablation and AI Coding Agents
by: Krishnamurthi, Shriram, et al.
Published: (2026)

Corps: A Core Calculus of Hierarchical Choreographic Programming
by: Hirsch, Andrew K.
Published: (2024)

Quantum Circuits Are Just a Phase
by: Heunen, Chris, et al.
Published: (2025)

MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
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)

Multiparty Session Types with a Bang!
by: Brun, Matthew Alan Le, et al.
Published: (2025)

Literate Tracing
by: Sotoudeh, Matthew
Published: (2025)

Step in Tine: Forking Processes in Functional Choreographies
by: Samuelson, Ashley, et al.
Published: (2026)

Understanding Haskell-style Overloading via Open Data and Open Functions
by: Marmaduke, Andrew, et al.
Published: (2025)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
by: Samuelson, Ashley, et al.
Published: (2025)

TQL: Towards Type-Driven Data Discovery
by: Kang, Andrew, et al.
Published: (2025)

Abstracting Extensible Recursive Functions
by: Hubers, Alex, et al.
Published: (2024)

Syntactic Completions with Material Obligations
by: Moon, David, et al.
Published: (2025)

Dual-Numbers Reverse AD for Functional Array Languages
by: Smeding, Tom, et al.
Published: (2025)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
by: Zhang, Yihong, et al.
Published: (2025)

The SemGuS Toolkit
by: Johnson, Keith J. C., et al.
Published: (2024)

Linear and non-linear relational analyses for Quantum Program Optimization
by: Amy, Matthew, et al.
Published: (2024)