Image de couverture de livre

Extensibility in Programming Languages: An overview

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Nicolajsen, Sebastian mateos
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Logic Programming with Extensible Types
par: Perez, Ivan, et autres
Publié: (2026)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
par: Younis, Ed
Publié: (2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
par: Leißa, Roland, et autres
Publié: (2024)

Empowering Computing Education Researchers Through LLM-Assisted Content Analysis
par: Gale, Laurie, et autres
Publié: (2025)

Abstracting Extensible Recursive Functions
par: Hubers, Alex, et autres
Publié: (2024)

Fast and Extensible Hybrid Embeddings with Micros
par: Bocirnea, Sean, et autres
Publié: (2025)

Towards Algebraic Subtyping for Extensible Records
par: Marques, Rodrigo, et autres
Publié: (2024)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
par: Abounegm, Abdelrahman, et autres
Publié: (2024)

FlowLog: Efficient and Extensible Datalog via Incrementality
par: Zhao, Hangdong, et autres
Publié: (2025)

Forklift: An Extensible Neural Lifter
par: Armengol-Estapé, Jordi, et autres
Publié: (2024)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
par: Ye, He, et autres
Publié: (2023)

Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
par: Spanò, Alvise
Publié: (2024)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
par: Tang, Xuan, et autres
Publié: (2026)

Multi-Language Probabilistic Programming
par: Stites, Sam, et autres
Publié: (2025)

Profiling Programming Language Learning
par: Crichton, Will, et autres
Publié: (2024)

A Programming Language for Feasible Solutions
par: Chen, Weijun, et autres
Publié: (2025)

A Multilingual Python Programming Language
par: Bazaz, Saad Ahmed, et autres
Publié: (2025)

From Program Logics to Language Logics
par: Cimini, Matteo
Publié: (2024)

Using Code Snippets to Teach Programming Languages
par: Akingbade, Joshua, et autres
Publié: (2025)

A Brief Overview of the Pawns Programming Language
par: Naish, Lee
Publié: (2024)

Compilation Semantics for a Programming Language with Versions
par: Tanabe, Yudai, et autres
Publié: (2023)

Leroy: Library Learning for Imperative Programming Languages
par: Bellur, Abhiram, et autres
Publié: (2024)

Programming Language Case Studies Can Be Deep
par: Bohrer, Rose
Publié: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
par: Tušil, Jan, et autres
Publié: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
par: Cherny-Shahar, Tsvi, et autres
Publié: (2024)

Meerkat: A Distributed Reactive Programming Language with Live Updates
par: Zhong, Heng, et autres
Publié: (2024)

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

Mix-of-Language-Experts Architecture for Multilingual Programming
par: Zong, Yifan, et autres
Publié: (2025)

Can Language Models Solve Olympiad Programming?
par: Shi, Quan, et autres
Publié: (2024)

Rel: A Programming Language for Relational Data
par: Aref, Molham, et autres
Publié: (2025)

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

Weighted NetKAT: A Programming Language For Quantitative Network Verification
par: Acevedo, Emmanuel Suárez, et autres
Publié: (2026)

The IsalProgram Programming Language
par: López-Rubio, Ezequiel
Publié: (2026)

Emergent Representations of Program Semantics in Language Models Trained on Programs
par: Jin, Charles, et autres
Publié: (2023)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
par: Faro, Simone, et autres
Publié: (2025)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
par: Lundén, Daniel, et autres
Publié: (2023)

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
par: Zhang, Yimin, et autres
Publié: (2024)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
par: Li, Feifei, et autres
Publié: (2026)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
par: Dong, Honghua, et autres
Publié: (2024)