:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Liu, Yanhong A.
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2312.07946
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
by: Nerode, Anil, et al.
Published: (2024)

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
by: Smith, Ian
Published: (2024)

Incremental units-of-measure verification
by: Danish, Matthew, et al.
Published: (2024)

Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
by: Liu, Yanhong A., et al.
Published: (2025)

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)

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

FlowLog: Efficient and Extensible Datalog via Incrementality
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)

Incremental Randomized Smoothing Certification
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)

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

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

Mechanizing Synthetic Tait Computability in Istari
by: Li, Runming, et al.
Published: (2025)

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

Towards Computational UIP in Cubical Agda
by: Tan, Yee-Jian, et al.
Published: (2025)

ALFRED: Virtual Memory for Intermittent Computing
by: Maioli, Andrea, et al.
Published: (2021)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
by: Xu, Yichen, et al.
Published: (2025)

Task-Based Tensor Computations on Modern GPUs
by: Yadav, Rohan, et al.
Published: (2025)

Consistent Distributed Reactive Programming with Retroactive Computation
by: Kamina, Tetsuo, et al.
Published: (2025)

With a Few Square Roots, Quantum Computing is as Easy as Π
by: Carette, Jacques, et al.
Published: (2023)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
by: Jiang, Yuchen, et al.
Published: (2025)

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
by: Arbore, Russel, et al.
Published: (2024)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
by: Tekriwal, Mohit, et al.
Published: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
by: Lim, Sangho, et al.
Published: (2025)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
by: Faro, Simone, et al.
Published: (2025)

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
by: Singhvi, Arnav, et al.
Published: (2023)

Universal Algebra and Effectful Computation
by: Rajesh, Nayan
Published: (2025)

On Computational Indistinguishability and Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2024)

SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
by: Dias, Adhitha, et al.
Published: (2023)

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
by: Rasch, Ari
Published: (2024)

On the Essence and Prospect: An Investigation of Alignment Approaches for Big Models
by: Wang, Xinpeng, et al.
Published: (2024)

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

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
by: Henson, Christopher, et al.
Published: (2026)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)

QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
by: Zou, Tianrui, et al.
Published: (2025)

Hardware-Aware Static Optimization of Hyperdimensional Computations
by: Pu, et al.
Published: (2023)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
by: Chen, Ethan, et al.
Published: (2024)