Buchumschlag

Object Graph Programming

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Thimmaiah, Aditya, Lampropoulos, Leonidas, Rossbach, Christopher J., Gligoric, Milos
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Databases Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Pattern-Based Peephole Optimizations with Java JIT Tests
von: Zang, Zhiqiang, et al.
Veröffentlicht: (2024)

LLMs Lean on Priors, Not Programming Language Semantics
von: Thimmaiah, Aditya, et al.
Veröffentlicht: (2025)

DIRT: Database-Integrated Random Testing
von: Keles, Alperen, et al.
Veröffentlicht: (2026)

Programmable Property-Based Testing
von: Keles, Alperen, et al.
Veröffentlicht: (2026)

Java JIT Testing with Template Extraction
von: Zang, Zhiqiang, et al.
Veröffentlicht: (2024)

Synthesizing Document Database Queries using Collection Abstractions
von: Liu, Qikang, et al.
Veröffentlicht: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
von: Deng, Wenjing, et al.
Veröffentlicht: (2024)

CUBES: A Parallel Synthesizer for SQL Using Examples
von: Brancas, Ricardo, et al.
Veröffentlicht: (2022)

CobbleDB: Modelling Levelled Storage by Composition
von: Ma, Emilie, et al.
Veröffentlicht: (2026)

The Case for Multi-Version Experimental Evaluation (MVEE)
von: Jörz, Simon, et al.
Veröffentlicht: (2026)

Constant Optimization Driven Database System Testing
von: Zhang, Chi, et al.
Veröffentlicht: (2025)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
von: Mang, Qiuyang, et al.
Veröffentlicht: (2025)

Etna: An Evaluation Platform for Property-Based Testing
von: Keles, Alperen, et al.
Veröffentlicht: (2026)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
von: Zhao, Pinhan, et al.
Veröffentlicht: (2025)

RDFGraphGen: An RDF Graph Generator based on SHACL Shapes
von: Jovanovik, Milos, et al.
Veröffentlicht: (2024)

Object-Spatial Programming
von: Mars, Jason
Veröffentlicht: (2025)

Comparative analysis of large data processing in Apache Spark using Java, Python and Scala
von: Borodii, Ivan, et al.
Veröffentlicht: (2025)

Contextualized Data-Wrangling Code Generation in Computational Notebooks
von: Huang, Junjie, et al.
Veröffentlicht: (2024)

Task-Aware Reduction for Scalable LLM-Database Systems
von: Barnes, Marcus Emmanuel, et al.
Veröffentlicht: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

An Incremental Algorithm for Algebraic Program Analysis
von: Zhou, Chenyu, et al.
Veröffentlicht: (2024)

Challenges of Multilingual Program Specification and Analysis
von: Furia, Carlo A., et al.
Veröffentlicht: (2024)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

Concept-Based Generic Programming in C++
von: Stroustrup, Bjarne
Veröffentlicht: (2025)

LLM-Guided Compositional Program Synthesis
von: Khan, Ruhma, et al.
Veröffentlicht: (2025)

Program Structure Aware Precondition Generation
von: Dinella, Elizabeth, et al.
Veröffentlicht: (2023)

On Repairing Quantum Programs Using ChatGPT
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)

Inferring Non-Failure Conditions for Declarative Programs
von: Hanus, Michael
Veröffentlicht: (2024)

Conceptual Mutation Testing for Student Programming Misconceptions
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2023)

Towards Analyzing N-language Polyglot Programs
von: Prakash, Jyoti, et al.
Veröffentlicht: (2026)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
von: Cirstea, Horatiu, et al.
Veröffentlicht: (2024)

LPR: Large Language Models-Aided Program Reduction
von: Zhang, Mengxiao, et al.
Veröffentlicht: (2023)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
von: Feng, Qiong, et al.
Veröffentlicht: (2026)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
von: Zakharov, Vladimir, et al.
Veröffentlicht: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
von: Szabo, Violet, et al.
Veröffentlicht: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
von: Wu, Valentina, et al.
Veröffentlicht: (2025)