Buchumschlag

Modernizing SMT-Based Type Error Localization

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kopinsky, Max, Pientka, Brigitte, Si, Xujie
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages D.3.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Message-Observing Sessions
von: Kavanagh, Ryan, et al.
Veröffentlicht: (2024)

Deconstructed Proto-Quipper: A Rational Reconstruction
von: Kavanagh, Ryan, et al.
Veröffentlicht: (2025)

Weak-Linear Types
von: Gramaglia, Hector
Veröffentlicht: (2024)

Dynamic String Generation and C++-style Output in Fortran
von: Mohr, Marcus
Veröffentlicht: (2024)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
von: Krook, Robert, et al.
Veröffentlicht: (2024)

Abstracting Effect Systems for Algebraic Effect Handlers
von: Yoshioka, Takuma, et al.
Veröffentlicht: (2024)

Repr Types: One Abstraction to Rule Them All
von: Palmkvist, Viktor, et al.
Veröffentlicht: (2024)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
von: Guerreiro, Miguel de Oliveira
Veröffentlicht: (2025)

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
von: Allison, Lloyd
Veröffentlicht: (2025)

Controlling Copatterns: There and Back Again (Extended Version)
von: Downen, Paul
Veröffentlicht: (2025)

Lua API and benchmark design using 3n+1 sequences: Comparing API elegance and raw speed in Redis and YottaDB databases
von: Hoyt, Berwyn
Veröffentlicht: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
von: Suwa, Takashi, et al.
Veröffentlicht: (2026)

AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators
von: Agostini, Nicolas Bohm, et al.
Veröffentlicht: (2023)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
von: Marshall, Danielle, et al.
Veröffentlicht: (2022)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
von: Cerda, Rémy
Veröffentlicht: (2025)

Weak-linearity, globality and in-place update
von: Gramaglia, Hector
Veröffentlicht: (2024)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
von: Ariola, Zena M., et al.
Veröffentlicht: (2026)

Adapting the MVVM pattern to C++ frontends and Agda-based backends
von: Csimma, Viktor
Veröffentlicht: (2026)

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
von: Mirji, Vittal
Veröffentlicht: (2026)

Totality for Mixed Inductive and Coinductive Types
von: Hyvernat, Pierre
Veröffentlicht: (2019)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
von: McCann, Alan L.
Veröffentlicht: (2026)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
von: Boyer, Matthieu Pierre
Veröffentlicht: (2025)

Relational Reactive Programming: miniKanren for the Web
von: Donahue, Evan
Veröffentlicht: (2024)

Polymorphic Bottom-Up Weighted Relational Programming
von: Volkov, Dmitri
Veröffentlicht: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
von: Volkov, Dmitri, et al.
Veröffentlicht: (2025)

Transport via Partial Galois Connections and Equivalences
von: Kappelmann, Kevin
Veröffentlicht: (2023)

Modular GPU Programming with Typed Perspectives
von: Bansal, Manya, et al.
Veröffentlicht: (2025)

Polymorphic Records for Dynamic Languages
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
von: Araujo, Alan
Veröffentlicht: (2026)

Corecursive Coding of High Computational Derivatives and Power Series
von: Karczmarczuk, Jerzy
Veröffentlicht: (2025)

The concept of class invariant in object-oriented programming
von: Meyer, Bertrand, et al.
Veröffentlicht: (2021)

Toward a Corpus Study of the Dynamic Gradual Type
von: Nsofor, Dibri, et al.
Veröffentlicht: (2025)

Compile-time Security Analysis and Optimization of Sensitive String Producers
von: Samuel, Mike, et al.
Veröffentlicht: (2026)

A Calculus of Inheritance
von: Yang, Bo
Veröffentlicht: (2026)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Game Semantics for Higher-Order Unitary Quantum Computation
von: Abramsky, Samson, et al.
Veröffentlicht: (2024)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
von: Bruzzone, Federico, et al.
Veröffentlicht: (2025)

Early Announcement: Parametricity for GADTs
von: Cagne, Pierre, et al.
Veröffentlicht: (2024)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
von: Ouardi, Doha, et al.
Veröffentlicht: (2024)

Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
von: Zhang, Yihan, et al.
Veröffentlicht: (2026)