Copertina

Programming Not Only by Example

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Peleg, Hila, Shoham, Sharon, Yahav, Eran
Natura:	Preprint
Pubblicazione:	2017
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Kotlin's Type System is (Also) Unsound
di: Kinsbruner, Elad, et al.
Pubblicazione: (2024)

Axe 'Em: Eliminating Spurious States with Induction Axioms
di: Elad, Neta, et al.
Pubblicazione: (2024)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
di: Tsukada, Takeshi, et al.
Pubblicazione: (2025)

The Search for Constrained Random Generators
di: Goldstein, Harrison, et al.
Pubblicazione: (2025)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
di: Elad, Neta, et al.
Pubblicazione: (2025)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
di: Elad, Neta, et al.
Pubblicazione: (2023)

Implicit Rankings for Verifying Liveness Properties in First-Order Logic
di: Lotan, Raz, et al.
Pubblicazione: (2024)

Example-Based Reasoning about the Realizability of Polymorphic Programs
di: Mulleners, Niek, et al.
Pubblicazione: (2024)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
di: Lotan, Raz, et al.
Pubblicazione: (2024)

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

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
di: Lotan, Raz, et al.
Pubblicazione: (2026)

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)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
di: Frenkel, Eden, et al.
Pubblicazione: (2026)

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

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)

Demonstrating a Future for MLIR-native DSL Compilers on a NumPy-like Example
di: Friebel, Karl F. A., et al.
Pubblicazione: (2026)

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

C Analyzer : A Static Program Analysis Tool for C Programs
di: Solanki, Rajendra Kumar
Pubblicazione: (2024)

CUBES: A Parallel Synthesizer for SQL Using Examples
di: Brancas, Ricardo, et al.
Pubblicazione: (2022)

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

Laws of Quantum Programming
di: Ying, Mingsheng, et al.
Pubblicazione: (2024)

Finite Functional Programming
di: Arntzenius, Michael, et al.
Pubblicazione: (2026)

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
di: Kabaha, Anan, et al.
Pubblicazione: (2025)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
di: Moine, Alexandre, et al.
Pubblicazione: (2025)

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

Extensibility in Programming Languages: An overview
di: Nicolajsen, Sebastian mateos
Pubblicazione: (2025)

Functional Logic Program Transformations
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Profiling Programming Language Learning
di: Crichton, Will, et al.
Pubblicazione: (2024)

Reduction for Structured Concurrent Programs
di: Gangamreddypalli, Namratha, et al.
Pubblicazione: (2026)

Aspect-oriented Programming with Julia
di: Ishimura, Osamu, et al.
Pubblicazione: (2024)

Multi-Language Probabilistic Programming
di: Stites, Sam, et al.
Pubblicazione: (2025)

Synchronous Programming with Refinement Types
di: Chen, Jiawei, et al.
Pubblicazione: (2024)

Real-Time Probabilistic Programming
di: Hummelgren, Lars, et al.
Pubblicazione: (2023)

Reactive Programming without Functions
di: Oeyen, Bjarno, et al.
Pubblicazione: (2024)

Generative Explanations for Program Synthesizers
di: Nazari, Amirmohammad, et al.
Pubblicazione: (2024)

Debugging Functional Programs by Interpretation
di: Whitington, John
Pubblicazione: (2024)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
di: Chen, Zhiyang, et al.
Pubblicazione: (2022)

Learning Task Decomposition to Assist Humans in Competitive Programming
di: Wen, Jiaxin, et al.
Pubblicazione: (2024)