Buchumschlag

Leroy: Library Learning for Imperative Programming Languages

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bellur, Abhiram, Alghamdi, Razan, Workneh, Kidus, Izraelevitz, Joseph
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
von: Ishimwe, Ange-Thierry, et al.
Veröffentlicht: (2025)

Pleasant Imperative Program Proofs with GallinaC
von: Fort, Frédéric, et al.
Veröffentlicht: (2025)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
von: Foo, Darius, et al.
Veröffentlicht: (2023)

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation
von: Gumin, Maxim, et al.
Veröffentlicht: (2025)

Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms
von: Alaoui, Ziad Ismaili, et al.
Veröffentlicht: (2025)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
von: Koch, Mark, et al.
Veröffentlicht: (2025)

EM-Assist: Safe Automated ExtractMethod Refactoring with LLMs
von: Pomian, Dorin, et al.
Veröffentlicht: (2024)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
von: Chen, Tianyu, et al.
Veröffentlicht: (2026)

JEDI: Java Evaluation of Declarative and Imperative Queries
von: Schiavio, Filippo, et al.
Veröffentlicht: (2026)

Profiling Programming Language Learning
von: Crichton, Will, et al.
Veröffentlicht: (2024)

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
von: Ambal, Guillaume, et al.
Veröffentlicht: (2025)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
von: Khatchadourian, Raffi, et al.
Veröffentlicht: (2025)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
von: Verbitskaia, Ekaterina, et al.
Veröffentlicht: (2024)

Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
von: Maiya, Anirudh, et al.
Veröffentlicht: (2025)

Extensibility in Programming Languages: An overview
von: Nicolajsen, Sebastian mateos
Veröffentlicht: (2025)

Multi-Language Probabilistic Programming
von: Stites, Sam, et al.
Veröffentlicht: (2025)

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
von: Nongkhai, Lalita Na, et al.
Veröffentlicht: (2025)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
von: Mora, Federico, et al.
Veröffentlicht: (2024)

From Program Logics to Language Logics
von: Cimini, Matteo
Veröffentlicht: (2024)

A Programming Language for Feasible Solutions
von: Chen, Weijun, et al.
Veröffentlicht: (2025)

A Multilingual Python Programming Language
von: Bazaz, Saad Ahmed, et al.
Veröffentlicht: (2025)

A Brief Overview of the Pawns Programming Language
von: Naish, Lee
Veröffentlicht: (2024)

Programming Language Case Studies Can Be Deep
von: Bohrer, Rose
Veröffentlicht: (2024)

Using Code Snippets to Teach Programming Languages
von: Akingbade, Joshua, et al.
Veröffentlicht: (2025)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
von: Zheng, Lianmin, et al.
Veröffentlicht: (2023)

Efficient, Portable, Census-Polymorphic Choreographic Programming
von: Bates, Mako, et al.
Veröffentlicht: (2024)

Functional Programming in Learning Electromagnetic Theory
von: Walck, Scott N.
Veröffentlicht: (2024)

Active Learning for Neurosymbolic Program Synthesis
von: Barnaby, Celeste, et al.
Veröffentlicht: (2025)

Learning Task Decomposition to Assist Humans in Competitive Programming
von: Wen, Jiaxin, et al.
Veröffentlicht: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
von: Cherny-Shahar, Tsvi, et al.
Veröffentlicht: (2024)

Meerkat: A Distributed Reactive Programming Language with Live Updates
von: Zhong, Heng, et al.
Veröffentlicht: (2024)

Linear and non-linear relational analyses for Quantum Program Optimization
von: Amy, Matthew, et al.
Veröffentlicht: (2024)

Data-Driven Invariant Learning for Probabilistic Programs
von: Bao, Jialu, et al.
Veröffentlicht: (2021)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
von: Boruch-Gruszecki, Aleksander, et al.
Veröffentlicht: (2025)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
von: Hu, Lifan
Veröffentlicht: (2025)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
von: Fedchin, Aleksandr, et al.
Veröffentlicht: (2025)