Imagen de Portada

Incremental Live Programming via Shortcut Memoization

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kirisame, Marisa, Porter, Thomas J., Yang, Ruqing, Zhao, Jianqiu, Wu, Yudi, Wei, Ivan, Omar, Cyrus, Panchekha, Pavel
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Spineless Traversal for Layout Invalidation
por: Kirisame, Marisa, et al.
Publicado: (2024)

Accurate Residues for Floating-Point Debugging
por: He, Yumeng, et al.
Publicado: (2026)

Syntactic Completions with Material Obligations
por: Moon, David, et al.
Publicado: (2025)

Numerical Superoptimization for Library Learning
por: Regehr, Jonas, et al.
Publicado: (2026)

Semantics for 2D Rasterization
por: Kulkarni, Bhargav, et al.
Publicado: (2026)

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version)
por: Fujinami, Hiroya, et al.
Publicado: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
por: Zhong, Zhiyao, et al.
Publicado: (2025)

Target-Aware Implementation of Real Expressions
por: Saiki, Brett, et al.
Publicado: (2024)

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

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

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

Meerkat: A Distributed Reactive Programming Language with Live Updates
por: Zhong, Heng, et al.
Publicado: (2024)

Practical Algebraic Stepping with Scoped Filters
por: Fei, Haoxiang, et al.
Publicado: (2026)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
por: Rein, Patrick, et al.
Publicado: (2024)

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

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

Newtonian Program Analysis of Probabilistic Programs
por: Wang, Di, et al.
Publicado: (2023)

Validating AI-Generated Code with Live Programming
por: Ferdowsi, Kasra, et al.
Publicado: (2023)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
por: Wei, Anjiang, et al.
Publicado: (2025)

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

A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses
por: Torbunova, Alina, et al.
Publicado: (2024)

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

ScanWeaver: Compiler-Driven Parallelization of Affine Recurrences via Associative Scan Lowering
por: Wu, Qiying, et al.
Publicado: (2026)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
por: Wang, Peixin, et al.
Publicado: (2023)

Semantics of Sets of Programs
por: Kim, Jinwoo, et al.
Publicado: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
por: Bagrel, Thomas
Publicado: (2026)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
por: Shen, Chen, et al.
Publicado: (2026)

Optimal Program Synthesis via Abstract Interpretation
por: Mell, Stephen, et al.
Publicado: (2026)

Logic Programming with Extensible Types
por: Perez, Ivan, et al.
Publicado: (2026)

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

Statically Contextualizing Large Language Models with Typed Holes
por: Blinn, Andrew, et al.
Publicado: (2024)

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

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
por: Johnson, Keith J. C., et al.
Publicado: (2024)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
por: Luo, Junjie, et al.
Publicado: (2024)

Proving Functional Program Equivalence via Directed Lemma Synthesis
por: Sun, Yican, et al.
Publicado: (2024)

Using Code Snippets to Teach Programming Languages
por: Akingbade, Joshua, et al.
Publicado: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
por: Nicola, Mihai, et al.
Publicado: (2024)

Resource Specifications for Resource-Manipulating Programs
por: Grannan, Zachary, et al.
Publicado: (2023)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
por: Yang, Tengshun, et al.
Publicado: (2024)