Imagen de Portada

C-lisp and Flexible Macro Programming with S-expressions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Padmaraman, Vedanth, Chilamkurthy, Sasank
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Macro-embedding Compiler Intermediate Languages in Racket
por: Bowman, William J.
Publicado: (2025)

Choreographies as Macros
por: Bohosian, Alexander, et al.
Publicado: (2025)

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

Programming of Cellular Automata in C and C++
por: Christen, Patrik
Publicado: (2024)

Flexible Correct-by-Construction Programming
por: Runge, Tobias, et al.
Publicado: (2022)

Towards Automated Verification of LLM-Synthesized C Programs
por: Mukherjee, Prasita, et al.
Publicado: (2024)

C*: Unifying Programming and Verification in C
por: Cao, Yiyuan, et al.
Publicado: (2025)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
por: Ciccalè, Marco, et al.
Publicado: (2025)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
por: Krogstie, Håvard Rognebakke, et al.
Publicado: (2025)

Concept-Based Generic Programming in C++
por: Stroustrup, Bjarne
Publicado: (2025)

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

Enabling Memory Safety of C Programs using LLMs
por: Mohammed, Nausheen, et al.
Publicado: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
por: Thibault, Jérémy, et al.
Publicado: (2024)

Evaluation of the Flexible Laboratory Instruction Program II.
por: Abramson, Theodore
Publicado: (1978)

Semantics of Sets of Programs
por: Kim, Jinwoo, et al.
Publicado: (2024)

Laws of Quantum Programming
por: Ying, Mingsheng, et al.
Publicado: (2024)

Programming Not Only by Example
por: Peleg, Hila, et al.
Publicado: (2017)

Finite Functional Programming
por: Arntzenius, Michael, et al.
Publicado: (2026)

Pleasant Imperative Program Proofs with GallinaC
por: Fort, Frédéric, et al.
Publicado: (2025)

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

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

Profiling Programming Language Learning
por: Crichton, Will, et al.
Publicado: (2024)

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

Synchronous Programming with Refinement Types
por: Chen, Jiawei, et al.
Publicado: (2024)

Reactive Programming without Functions
por: Oeyen, Bjarno, et al.
Publicado: (2024)

Generative Explanations for Program Synthesizers
por: Nazari, Amirmohammad, et al.
Publicado: (2024)

Debugging Functional Programs by Interpretation
por: Whitington, John
Publicado: (2024)

Extensibility in Programming Languages: An overview
por: Nicolajsen, Sebastian mateos
Publicado: (2025)

Functional Logic Program Transformations
por: Hanus, Michael, et al.
Publicado: (2026)

Reduction for Structured Concurrent Programs
por: Gangamreddypalli, Namratha, et al.
Publicado: (2026)

Multi-Language Probabilistic Programming
por: Stites, Sam, et al.
Publicado: (2025)

Real-Time Probabilistic Programming
por: Hummelgren, Lars, et al.
Publicado: (2023)

A Core Calculus for Type-safe Product Lines of C Programs
por: Damiani, Ferruccio, et al.
Publicado: (2026)

Verified invertible lexer using regular expressions and DFAs
por: Chassot, Samuel, et al.
Publicado: (2024)

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

The Parallel Semantics Program Dependence Graph
por: Homerding, Brian, et al.
Publicado: (2024)

Fusing Gathers with Integer Linear Programming
por: van Balen, David, et al.
Publicado: (2024)

From Program Logics to Language Logics
por: Cimini, Matteo
Publicado: (2024)

Partial Evaluation, Whole-Program Compilation
por: Fallin, Chris, et al.
Publicado: (2024)

Schema Evolution in Interactive Programming Systems
por: Edwards, Jonathan, et al.
Publicado: (2024)