Copertina

Incremental units-of-measure verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Danish, Matthew, Orchard, Dominic, Rice, Andrew
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

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)

Literate Execution
di: Bond, Joe, et al.
Pubblicazione: (2026)

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

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

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

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

Incremental Proof Development in Dafny with Module-Based Induction
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)

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

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

An Incremental Algorithm for Algebraic Program Analysis
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)

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

Incremental Randomized Smoothing Certification
di: Ugare, Shubham, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

Quantum Circuits Are Just a Phase
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)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
di: Britton, Matthew, et al.
Pubblicazione: (2026)

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

Literate Tracing
di: Sotoudeh, Matthew
Pubblicazione: (2025)

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

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

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

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

Abstracting Extensible Recursive Functions
di: Hubers, Alex, et al.
Pubblicazione: (2024)

Syntactic Completions with Material Obligations
di: Moon, David, et al.
Pubblicazione: (2025)

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

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

The SemGuS Toolkit
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)