Incremental units-of-measure verification
Fuente:
arXiv
Salvato in:
| Autori principali: | Danish, Matthew, Orchard, Dominic, Rice, Andrew |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Functional Ownership through Fractional Uniqueness
di: Marshall, Danielle, et al.
Pubblicazione: (2023)
di: Marshall, Danielle, et al.
Pubblicazione: (2023)
Graded Modal Types for Integrity and Confidentiality
di: Marshall, Danielle, et al.
Pubblicazione: (2023)
di: Marshall, Danielle, et al.
Pubblicazione: (2023)
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
di: Marshall, Danielle, et al.
Pubblicazione: (2022)
di: Marshall, Danielle, et al.
Pubblicazione: (2022)
Cognacy Queries over Dependence Graphs for Transparent Visualisations
di: Bond, Joseph, et al.
Pubblicazione: (2024)
di: Bond, Joseph, et al.
Pubblicazione: (2024)
A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
di: Vollmer, Victoria, et al.
Pubblicazione: (2024)
di: Vollmer, Victoria, et al.
Pubblicazione: (2024)
Literate Execution
di: Bond, Joe, et al.
Pubblicazione: (2026)
di: Bond, Joe, et al.
Pubblicazione: (2026)
Solvent: liquidity verification of smart contracts
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)
Incremental Computation: What Is the Essence?
di: Liu, Yanhong A.
Pubblicazione: (2023)
di: Liu, Yanhong A.
Pubblicazione: (2023)
Incremental Live Programming via Shortcut Memoization
di: Kirisame, Marisa, et al.
Pubblicazione: (2026)
di: Kirisame, Marisa, et al.
Pubblicazione: (2026)
Incremental Bidirectional Typing via Order Maintenance
di: Porter, Thomas J., et al.
Pubblicazione: (2025)
di: Porter, Thomas J., et al.
Pubblicazione: (2025)
Incremental Proof Development in Dafny with Module-Based Induction
di: Ho, Son, et al.
Pubblicazione: (2024)
di: Ho, Son, et al.
Pubblicazione: (2024)
VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
di: Jacobs, Bart
Pubblicazione: (2025)
di: Jacobs, Bart
Pubblicazione: (2025)
Neuroforger: certified violation witnesses for smart contracts verification via LLMs
di: Bartoletti, Massimo, et al.
Pubblicazione: (2026)
di: Bartoletti, Massimo, et al.
Pubblicazione: (2026)
FlowLog: Efficient and Extensible Datalog via Incrementality
di: Zhao, Hangdong, et al.
Pubblicazione: (2025)
di: Zhao, Hangdong, et al.
Pubblicazione: (2025)
An Incremental Algorithm for Algebraic Program Analysis
di: Zhou, Chenyu, et al.
Pubblicazione: (2024)
di: Zhou, Chenyu, et al.
Pubblicazione: (2024)
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
di: Schröer, Philipp, et al.
Pubblicazione: (2026)
di: Schröer, Philipp, et al.
Pubblicazione: (2026)
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
di: Böhler, Timon, et al.
Pubblicazione: (2026)
di: Böhler, Timon, et al.
Pubblicazione: (2026)
Incremental Randomized Smoothing Certification
di: Ugare, Shubham, et al.
Pubblicazione: (2023)
di: Ugare, Shubham, et al.
Pubblicazione: (2023)
Incremental Context-free Grammar Inference in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2024)
di: Li, Feifei, et al.
Pubblicazione: (2024)
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
di: Peng, Xuanyu, et al.
Pubblicazione: (2025)
di: Peng, Xuanyu, et al.
Pubblicazione: (2025)
Pathological Cases for a Class of Reachability-Based Garbage Collectors
di: Sotoudeh, Matthew
Pubblicazione: (2025)
di: Sotoudeh, Matthew
Pubblicazione: (2025)
Operon: Incremental Construction of Ragged Data via Named Dimensions
di: Moon, Sungbin, et al.
Pubblicazione: (2025)
di: Moon, Sungbin, et al.
Pubblicazione: (2025)
A Coq implementation of a Theory of Tagged Objects
di: Gates, Matthew, et al.
Pubblicazione: (2025)
di: Gates, Matthew, et al.
Pubblicazione: (2025)
Type-Error Ablation and AI Coding Agents
di: Krishnamurthi, Shriram, et al.
Pubblicazione: (2026)
di: Krishnamurthi, Shriram, et al.
Pubblicazione: (2026)
Corps: A Core Calculus of Hierarchical Choreographic Programming
di: Hirsch, Andrew K.
Pubblicazione: (2024)
di: Hirsch, Andrew K.
Pubblicazione: (2024)
Quantum Circuits Are Just a Phase
di: Heunen, Chris, et al.
Pubblicazione: (2025)
di: Heunen, Chris, et al.
Pubblicazione: (2025)
MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2024)
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2024)
Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
di: Britton, Matthew, et al.
Pubblicazione: (2026)
di: Britton, Matthew, et al.
Pubblicazione: (2026)
Multiparty Session Types with a Bang!
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2025)
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2025)
Literate Tracing
di: Sotoudeh, Matthew
Pubblicazione: (2025)
di: Sotoudeh, Matthew
Pubblicazione: (2025)
Step in Tine: Forking Processes in Functional Choreographies
di: Samuelson, Ashley, et al.
Pubblicazione: (2026)
di: Samuelson, Ashley, et al.
Pubblicazione: (2026)
Understanding Haskell-style Overloading via Open Data and Open Functions
di: Marmaduke, Andrew, et al.
Pubblicazione: (2025)
di: Marmaduke, Andrew, et al.
Pubblicazione: (2025)
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
di: Samuelson, Ashley, et al.
Pubblicazione: (2025)
di: Samuelson, Ashley, et al.
Pubblicazione: (2025)
TQL: Towards Type-Driven Data Discovery
di: Kang, Andrew, et al.
Pubblicazione: (2025)
di: Kang, Andrew, et al.
Pubblicazione: (2025)
Abstracting Extensible Recursive Functions
di: Hubers, Alex, et al.
Pubblicazione: (2024)
di: Hubers, Alex, et al.
Pubblicazione: (2024)
Syntactic Completions with Material Obligations
di: Moon, David, et al.
Pubblicazione: (2025)
di: Moon, David, et al.
Pubblicazione: (2025)
Dual-Numbers Reverse AD for Functional Array Languages
di: Smeding, Tom, et al.
Pubblicazione: (2025)
di: Smeding, Tom, et al.
Pubblicazione: (2025)
Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
di: Zhang, Yihong, et al.
Pubblicazione: (2025)
di: Zhang, Yihong, et al.
Pubblicazione: (2025)
The SemGuS Toolkit
di: Johnson, Keith J. C., et al.
Pubblicazione: (2024)
di: Johnson, Keith J. C., et al.
Pubblicazione: (2024)
Linear and non-linear relational analyses for Quantum Program Optimization
di: Amy, Matthew, et al.
Pubblicazione: (2024)
di: Amy, Matthew, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Functional Ownership through Fractional Uniqueness
di: Marshall, Danielle, et al.
Pubblicazione: (2023) -
Graded Modal Types for Integrity and Confidentiality
di: Marshall, Danielle, et al.
Pubblicazione: (2023) -
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
di: Marshall, Danielle, et al.
Pubblicazione: (2022) -
Cognacy Queries over Dependence Graphs for Transparent Visualisations
di: Bond, Joseph, et al.
Pubblicazione: (2024) -
A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
di: Vollmer, Victoria, et al.
Pubblicazione: (2024)