Copertina

Extensibility in Programming Languages: An overview

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Nicolajsen, Sebastian mateos
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Logic Programming with Extensible Types
di: Perez, Ivan, et al.
Pubblicazione: (2026)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
di: Younis, Ed
Pubblicazione: (2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
di: Leißa, Roland, et al.
Pubblicazione: (2024)

Empowering Computing Education Researchers Through LLM-Assisted Content Analysis
di: Gale, Laurie, et al.
Pubblicazione: (2025)

Abstracting Extensible Recursive Functions
di: Hubers, Alex, et al.
Pubblicazione: (2024)

Fast and Extensible Hybrid Embeddings with Micros
di: Bocirnea, Sean, et al.
Pubblicazione: (2025)

Towards Algebraic Subtyping for Extensible Records
di: Marques, Rodrigo, et al.
Pubblicazione: (2024)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
di: Abounegm, Abdelrahman, et al.
Pubblicazione: (2024)

FlowLog: Efficient and Extensible Datalog via Incrementality
di: Zhao, Hangdong, et al.
Pubblicazione: (2025)

Forklift: An Extensible Neural Lifter
di: Armengol-Estapé, Jordi, et al.
Pubblicazione: (2024)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
di: Ye, He, et al.
Pubblicazione: (2023)

Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
di: Spanò, Alvise
Pubblicazione: (2024)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
di: Tang, Xuan, et al.
Pubblicazione: (2026)

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

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

A Programming Language for Feasible Solutions
di: Chen, Weijun, et al.
Pubblicazione: (2025)

A Multilingual Python Programming Language
di: Bazaz, Saad Ahmed, et al.
Pubblicazione: (2025)

From Program Logics to Language Logics
di: Cimini, Matteo
Pubblicazione: (2024)

Using Code Snippets to Teach Programming Languages
di: Akingbade, Joshua, et al.
Pubblicazione: (2025)

A Brief Overview of the Pawns Programming Language
di: Naish, Lee
Pubblicazione: (2024)

Compilation Semantics for a Programming Language with Versions
di: Tanabe, Yudai, et al.
Pubblicazione: (2023)

Leroy: Library Learning for Imperative Programming Languages
di: Bellur, Abhiram, et al.
Pubblicazione: (2024)

Programming Language Case Studies Can Be Deep
di: Bohrer, Rose
Pubblicazione: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
di: Tušil, Jan, et al.
Pubblicazione: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
di: Cherny-Shahar, Tsvi, et al.
Pubblicazione: (2024)

Meerkat: A Distributed Reactive Programming Language with Live Updates
di: Zhong, Heng, et al.
Pubblicazione: (2024)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
di: Hu, Lifan
Pubblicazione: (2025)

Mix-of-Language-Experts Architecture for Multilingual Programming
di: Zong, Yifan, et al.
Pubblicazione: (2025)

Can Language Models Solve Olympiad Programming?
di: Shi, Quan, et al.
Pubblicazione: (2024)

Rel: A Programming Language for Relational Data
di: Aref, Molham, et al.
Pubblicazione: (2025)

The IsalProgram Programming Language
di: López-Rubio, Ezequiel
Pubblicazione: (2026)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
di: Vidal, Germán
Pubblicazione: (2023)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
di: Acevedo, Emmanuel Suárez, et al.
Pubblicazione: (2026)

Emergent Representations of Program Semantics in Language Models Trained on Programs
di: Jin, Charles, et al.
Pubblicazione: (2023)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
di: Faro, Simone, et al.
Pubblicazione: (2025)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
di: Lundén, Daniel, et al.
Pubblicazione: (2023)

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
di: Zhang, Yimin, et al.
Pubblicazione: (2024)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2026)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
di: Dong, Honghua, et al.
Pubblicazione: (2024)