Buchumschlag

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wu, Guanxuan, Sullivan, Allison
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
von: Erata, Ferhat, et al.
Veröffentlicht: (2024)

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
von: Hooda, Ashish, et al.
Veröffentlicht: (2024)

Structural Code Search using Natural Language Queries
von: Limpanukorn, Ben, et al.
Veröffentlicht: (2025)

Generating Equivalent Representations of Code By A Self-Reflection Approach
von: Li, Jia, et al.
Veröffentlicht: (2024)

On the Effectiveness of Large Language Models in Writing Alloy Formulas
von: Hong, Yang, et al.
Veröffentlicht: (2025)

Neural Code Translation of Legacy Code: APL to C#
von: Ramadan, Abdulrahman, et al.
Veröffentlicht: (2026)

Micro-Patterns in Solidity Code
von: Ruschioni, Luca, et al.
Veröffentlicht: (2025)

Pareto Optimal Code Generation
von: Orlanski, Gabriel, et al.
Veröffentlicht: (2025)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
von: Ravikumar, Shruthi, et al.
Veröffentlicht: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
von: Kashmira, Savini, et al.
Veröffentlicht: (2025)

Automated Code Editing with Search-Generate-Modify
von: Liu, Changshu, et al.
Veröffentlicht: (2023)

Validated Code Translation for Projects with External Libraries
von: Zhang, Hanliang, et al.
Veröffentlicht: (2026)

On the Anatomy of Real-World R Code for Static Analysis
von: Sihler, Florian, et al.
Veröffentlicht: (2024)

Python Symbolic Execution with LLM-powered Code Generation
von: Wang, Wenhan, et al.
Veröffentlicht: (2024)

A Trace-based Approach for Code Safety Analysis
von: Xu, Hui
Veröffentlicht: (2025)

A Unified Framework for Automated Code Transformation and Pragma Insertion
von: Pouget, Stéphane, et al.
Veröffentlicht: (2024)

Compilation of Commit Changes within Java Source Code Repositories
von: Schott, Stefan, et al.
Veröffentlicht: (2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
von: Rao, Zihao, et al.
Veröffentlicht: (2024)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
von: Ke, Kaiyao, et al.
Veröffentlicht: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
von: Svoboda, David, et al.
Veröffentlicht: (2025)

From Code to Career: Assessing Competitive Programmers for Industry Placement
von: Akib, Md Imranur Rahman, et al.
Veröffentlicht: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
von: Zhang, Bowen, et al.
Veröffentlicht: (2024)

RacerF: Lightweight Static Data Race Detection for C Code
von: Dacík, Tomáš, et al.
Veröffentlicht: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
von: Ren, Xiaoning, et al.
Veröffentlicht: (2025)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
von: Heinze, Thomas S.
Veröffentlicht: (2026)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
von: Bouras, Dimitrios Stamatios, et al.
Veröffentlicht: (2026)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
von: Jing, Huihao, et al.
Veröffentlicht: (2026)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
von: Zhang, Hanliang, et al.
Veröffentlicht: (2024)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
von: Antal, Gábor, et al.
Veröffentlicht: (2024)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
von: Dau, Anh T. V., et al.
Veröffentlicht: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2026)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
von: Liu, Yuchen, et al.
Veröffentlicht: (2025)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
von: Li, Hebi, et al.
Veröffentlicht: (2023)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
von: Feng, Qiong, et al.
Veröffentlicht: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
von: Liu, Peipei, et al.
Veröffentlicht: (2025)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
von: Dau, Anh T. V., et al.
Veröffentlicht: (2026)

How Natural Language Proficiency Shapes GenAI Code for Software Engineering Tasks
von: Rojpaisarnkit, Ruksit, et al.
Veröffentlicht: (2025)

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
von: Jiang, Weipeng, et al.
Veröffentlicht: (2024)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
von: Cai, Jianfeng, et al.
Veröffentlicht: (2026)