:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Edwards, Jonathan, Petricek, Tomas, van der Storm, Tijs, Litt, Geoffrey
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2412.06269
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

LiveRec: Prototyping Probes by Framing Debug Protocols
par: Döderlein, Jean-Baptiste, et autres
Publié: (2024)

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
par: Verter, Jan Liam, et autres
Publié: (2024)

PolyDebug: A Framework for Polyglot Debugging
par: Houdaille, Philémon, et autres
Publié: (2025)

Baseline: Operation-Based Evolution and Versioning of Data
par: Edwards, Jonathan, et autres
Publié: (2025)

Synthesizing JSON Schema Transformers
par: Stanek, Jack, et autres
Publié: (2024)

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
par: Huang, Tinglin, et autres
Publié: (2026)

Validation of Modern JSON Schema: Formalization and Complexity
par: Attouche, Lyes, et autres
Publié: (2023)

Elimination of annotation dependencies in validation for Modern JSON Schema
par: Attouche, Lyes, et autres
Publié: (2025)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
par: Van der Cruysse, Jonathan, et autres
Publié: (2023)

XML Schema Languages: Beyond DTD.
par: Ioannides, Demetrios
Publié: (2000)

Productive Quantum Programming Needs Better Abstract Machines
par: Núñez-Corrales, Santiago, et autres
Publié: (2025)

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
par: Edwards, Marcus
Publié: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
par: Cuéllar, Santiago, et autres
Publié: (2025)

Fusing Gathers with Integer Linear Programming
par: van Balen, David, et autres
Publié: (2024)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
par: Laurent, Jonathan, et autres
Publié: (2025)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
par: Arbore, Russel, et autres
Publié: (2025)

Transition-Oriented Programming: Developing Provably Correct Systems
par: Ding, Yepeng
Publié: (2020)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
par: van der Wall, Sören, et autres
Publié: (2024)

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
par: Kim, Sean, et autres
Publié: (2024)

MLCPD: A Unified Multi-Language Code Parsing Dataset with Universal AST Schema
par: Gajjar, Jugal, et autres
Publié: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
par: He, Yifeng, et autres
Publié: (2025)

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
par: Arbore, Russel, et autres
Publié: (2024)

RacerF: Lightweight Static Data Race Detection for C Code
par: Dacík, Tomáš, et autres
Publié: (2025)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
par: Dacík, Tomáš, et autres
Publié: (2025)

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
par: van Kempen, Nicolas, et autres
Publié: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
par: Solanki, Rajendra Kumar
Publié: (2024)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

Container Morphisms for Composable Interactive Systems
par: Videla, André
Publié: (2024)

Functional Reasoning for Distributed Systems with Failures
par: Ni, Haobin, et autres
Publié: (2025)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
par: Huot, Mathieu, et autres
Publié: (2024)

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
par: Nongkhai, Lalita Na, et autres
Publié: (2025)

What's Mine becomes Yours: Defining, Annotating and Detecting Context-Dependent Paraphrases in News Interview Dialogs
par: Wegmann, Anna, et autres
Publié: (2024)

Qualifying System F-sub
par: Lee, Edward, et autres
Publié: (2023)

EvoSchema: Towards Text-to-SQL Robustness Against Schema Evolution
par: Zhang, Tianshu, et autres
Publié: (2026)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
par: Redmond, Patrick, et autres
Publié: (2025)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
par: Daggitt, Matthew L., et autres
Publié: (2026)

Decompiling for Constant-Time Analysis
par: Arranz-Olmos, Santiago, et autres
Publié: (2025)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
par: Smith, Gus Henry, et autres
Publié: (2024)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
par: Dong, Shouyang, et autres
Publié: (2025)

Semantics of Sets of Programs
par: Kim, Jinwoo, et autres
Publié: (2024)