:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Padmaraman, Vedanth, Chilamkurthy, Sasank
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2410.16690
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Choreographies as Macros
by: Bohosian, Alexander, et al.
Published: (2025)

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

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

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

Programming of Cellular Automata in C and C++
by: Christen, Patrik
Published: (2024)

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

CR4T: Rewrite-Based Guardrails for Adolescent LLM Safety
by: An, Heajun, et al.
Published: (2026)

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

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

Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)

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

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

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

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

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

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

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

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)

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

Finite Functional Programming
by: Arntzenius, Michael, et al.
Published: (2026)

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

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

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

Probabilistic Programs of Thought
by: Garg, Poorva, et al.
Published: (2026)

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

QCP: A Practical Separation Logic-based C Program Verification Tool
by: Wu, Xiwei, et al.
Published: (2025)

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

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

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

Reactive Programming without Functions
by: Oeyen, Bjarno, et al.
Published: (2024)

Generative Explanations for Program Synthesizers
by: Nazari, Amirmohammad, et al.
Published: (2024)

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

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
by: Dong, Yixin, et al.
Published: (2024)

Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)

Functional Logic Program Transformations
by: Hanus, Michael, et al.
Published: (2026)

Reduction for Structured Concurrent Programs
by: Gangamreddypalli, Namratha, et al.
Published: (2026)

Multi-Language Probabilistic Programming
by: Stites, Sam, et al.
Published: (2025)

Real-Time Probabilistic Programming
by: Hummelgren, Lars, et al.
Published: (2023)

Welding R and C++: A Tale of Two Programming Languages
by: Sepulveda, Mauricio Vargas
Published: (2024)