Image de couverture de livre

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Schwerter, Felipe Bañados, Garcia, Ronald, Holmes, Reid, Ali, Karim
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Gradual Sensitivity Typing
par: Arquez, Damian, et autres
Publié: (2023)

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
par: Schröer, Philipp, et autres
Publié: (2025)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
par: Giovannini, Eric, et autres
Publié: (2024)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
par: Castagna, Giuseppe, et autres
Publié: (2024)

Gradual Metaprogramming
par: Chen, Tianyu, et autres
Publié: (2025)

Toward a Corpus Study of the Dynamic Gradual Type
par: Nsofor, Dibri, et autres
Publié: (2025)

Increasing the Expressiveness of a Gradual Verifier
par: Gupta, Priyam
Publié: (2025)

A Gradual Probabilistic Lambda Calculus
par: Ye, Wenjia, et autres
Publié: (2026)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
par: Ferreiro, Daniela, et autres
Publié: (2026)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
par: Amtoft, Torben, et autres
Publié: (2024)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
par: Rein, Patrick, et autres
Publié: (2024)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
par: Lin, Teyu, et autres
Publié: (2026)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
par: Zimmerman, Conrad, et autres
Publié: (2024)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
par: Mutlu, Doruk Alp
Publié: (2025)

Privacy-Respecting Type Error Telemetry at Scale
par: Greenman, Ben, et autres
Publié: (2024)

Type-Error Ablation and AI Coding Agents
par: Krishnamurthi, Shriram, et autres
Publié: (2026)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
par: Chen, Tianyu, et autres
Publié: (2026)

Synchronous Programming with Refinement Types
par: Chen, Jiawei, et autres
Publié: (2024)

Galois Slicing as Automatic Differentiation
par: Atkey, Robert, et autres
Publié: (2025)

Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
par: Jongmans, Sung-Shik
Publié: (2024)

WebPie: A Tiny Slice of Dependent Typing
par: Scholliers, Christophe
Publié: (2024)

Gradual Verification for Smart Contracts
par: Sun, Haojia, et autres
Publié: (2023)

Dependent Session Types for Verified Concurrent Programming
par: Fu, Qiancheng, et autres
Publié: (2025)

Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)

Type-Based Approaches to Rounding Error Analysis
par: Kellison, Ariel Eileen
Publié: (2025)

Special Delivery: Programming with Mailbox Types (Extended Version)
par: Fowler, Simon, et autres
Publié: (2023)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
par: Paul, Abhijit
Publié: (2025)

Real-Time Probabilistic Programming
par: Hummelgren, Lars, et autres
Publié: (2023)

From Traces to Program Incorrectness: A Type-Theoretic Approach
par: Yuan, Yongwei, et autres
Publié: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
par: Dane, Serra Z., et autres
Publié: (2026)

Refinement-Types Driven Development: A study
par: Domínguez, Facundo, et autres
Publié: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
par: Hinnerichs, Tilman, et autres
Publié: (2025)

Modernizing SMT-Based Type Error Localization
par: Kopinsky, Max, et autres
Publié: (2024)

Efficient Formal Verification of Quantum Error Correcting Programs
par: Huang, Qifan, et autres
Publié: (2025)

Quest Complete: the Holy Grail of Gradual Security
par: Chen, Tianyu, et autres
Publié: (2023)

Numerical Fuzz: A Type System for Rounding Error Analysis
par: Kellison, Ariel E., et autres
Publié: (2024)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
par: Kudasov, Nikolai, et autres
Publié: (2024)