Copertina

Example-Based Reasoning about the Realizability of Polymorphic Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mulleners, Niek, Jeuring, Johan, Heeren, Bastiaan
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

Programming Not Only by Example
di: Peleg, Hila, et al.
Pubblicazione: (2017)

Efficient, Portable, Census-Polymorphic Choreographic Programming
di: Bates, Mako, et al.
Pubblicazione: (2024)

Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
di: van der Hoek, Gerben, et al.
Pubblicazione: (2025)

Reasoning about External Calls
di: Drossopoulou, Sophia, et al.
Pubblicazione: (2025)

Is Programming by Example solved by LLMs?
di: Li, Wen-Ding, et al.
Pubblicazione: (2024)

Polymorphic Coverage Types
di: Zhou, Zhe, et al.
Pubblicazione: (2023)

Evaluating LLM-Generated Versus Human-Authored Responses in Role-Play Dialogues
di: Lu, Dongxu, et al.
Pubblicazione: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
di: Aguirre, Alejandro, et al.
Pubblicazione: (2024)

Signature Restriction for Polymorphic Algebraic Effects
di: Sekiyama, Taro, et al.
Pubblicazione: (2020)

The Path Not Taken: Duality in Reasoning about Program Execution
di: Hasanov, Eshgin, et al.
Pubblicazione: (2026)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
di: Bates, Mako, et al.
Pubblicazione: (2024)

Refactoring Programs Using Large Language Models with Few-Shot Examples
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

Generating Pragmatic Examples to Train Neural Program Synthesizers
di: Vaduguru, Saujas, et al.
Pubblicazione: (2023)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
di: Akshay, S., et al.
Pubblicazione: (2026)

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

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
di: Wu, Huiling, et al.
Pubblicazione: (2023)

Synthesizing Trajectory Queries from Examples
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
di: Balik, Patrycja, et al.
Pubblicazione: (2025)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
di: He, Siyuan, et al.
Pubblicazione: (2026)

Reasoning about Weak Isolation Levels in Separation Logic
di: Mathiasen, Anders Alnor, et al.
Pubblicazione: (2025)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
di: De Palma, Giuseppe, et al.
Pubblicazione: (2024)

Grammar Repair with Examples and Tree Automata: Extended Version
di: Lee, Yunjeong, et al.
Pubblicazione: (2026)

NExT: Teaching Large Language Models to Reason about Code Execution
di: Ni, Ansong, et al.
Pubblicazione: (2024)

Type-Based Incorrectness Reasoning
di: Zhou, Zhe, et al.
Pubblicazione: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
di: He, Yifeng, et al.
Pubblicazione: (2025)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
di: Sultan, Oren, et al.
Pubblicazione: (2026)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
di: Sun, Simeng, et al.
Pubblicazione: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
di: Volkov, Dmitri
Pubblicazione: (2026)

Sound Interval-Based Synthesis for Probabilistic Programs
di: Espada, Guilherme, et al.
Pubblicazione: (2025)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
di: Poli, Federico, et al.
Pubblicazione: (2024)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
di: Flanagan, Cormac, et al.
Pubblicazione: (2024)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
di: Jang, Junyoung, et al.
Pubblicazione: (2024)

GeckoGraph: A Visual Language for Polymorphic Types
di: Fu, Shuai, et al.
Pubblicazione: (2024)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
di: Ren, Silei, et al.
Pubblicazione: (2025)

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

Bialgebraic Reasoning on Higher-Order Program Equivalence
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
di: Li, Elaine, et al.
Pubblicazione: (2026)

Polymorphic Records for Dynamic Languages
di: Castagna, Giuseppe, et al.
Pubblicazione: (2024)