Copertina

Towards Analyzing N-language Polyglot Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Prakash, Jyoti, Tiwari, Abhishek, Kjærgaard, Mikkel Baun
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Challenges of Multilingual Program Specification and Analysis
di: Furia, Carlo A., et al.
Pubblicazione: (2024)

Toward a Sustainable Software Architecture Community: Evaluating ICSA's Environmental Impact
di: Moghaddam, Mahyar T., et al.
Pubblicazione: (2026)

LLM-Guided Compositional Program Synthesis
di: Khan, Ruhma, et al.
Pubblicazione: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
di: Marron, Mark
Pubblicazione: (2024)

Easing Maintenance of Academic Static Analyzers
di: Monat, Raphaël, et al.
Pubblicazione: (2024)

Neural Code Translation of Legacy Code: APL to C#
di: Ramadan, Abdulrahman, et al.
Pubblicazione: (2026)

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

Assured Automatic Programming via Large Language Models
di: Mirchev, Martin, et al.
Pubblicazione: (2024)

Reflections on the design, applications and implementations of the normative specification language eFLINT
di: van Binsbergen, L. Thomas, et al.
Pubblicazione: (2025)

Certus: A domain specific language for confidence assessment in assurance cases
di: Diemert, Simon, et al.
Pubblicazione: (2025)

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

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

Concept-Based Generic Programming in C++
di: Stroustrup, Bjarne
Pubblicazione: (2025)

An Incremental Algorithm for Algebraic Program Analysis
di: Zhou, Chenyu, et al.
Pubblicazione: (2024)

Program Structure Aware Precondition Generation
di: Dinella, Elizabeth, et al.
Pubblicazione: (2023)

Conceptual Mutation Testing for Student Programming Misconceptions
di: Prasad, Siddhartha, et al.
Pubblicazione: (2023)

On Repairing Quantum Programs Using ChatGPT
di: Guo, Xiaoyu, et al.
Pubblicazione: (2024)

Inferring Non-Failure Conditions for Declarative Programs
di: Hanus, Michael
Pubblicazione: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

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

Validating Traces of Distributed Programs Against TLA+ Specifications
di: Cirstea, Horatiu, et al.
Pubblicazione: (2024)

LPR: Large Language Models-Aided Program Reduction
di: Zhang, Mengxiao, et al.
Pubblicazione: (2023)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
di: Feng, Qiong, et al.
Pubblicazione: (2026)

Towards Repository-Level Program Verification with Large Language Models
di: Zhong, Si Cheng, et al.
Pubblicazione: (2025)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
di: Chakraborty, Saikat, et al.
Pubblicazione: (2024)

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

Execution-Aware Program Reduction for WebAssembly via Record and Replay
di: Baek, Doehyun, et al.
Pubblicazione: (2025)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
di: Szabo, Violet, et al.
Pubblicazione: (2024)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
di: Wu, Valentina, et al.
Pubblicazione: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
di: Ren, Xiaoning, et al.
Pubblicazione: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
di: Cui, Baoquan, et al.
Pubblicazione: (2025)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
di: Beheshti, Amin
Pubblicazione: (2024)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
di: Ates, Berke, et al.
Pubblicazione: (2026)

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

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
di: Shree, Iti, et al.
Pubblicazione: (2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
di: Oliveira, Francisco, et al.
Pubblicazione: (2025)

Towards a Transpiler for C/C++ to Safer Rust
di: Tripuramallu, Dhiren, et al.
Pubblicazione: (2024)

Towards AI-Assisted Synthesis of Verified Dafny Methods
di: Misu, Md Rakib Hossain, et al.
Pubblicazione: (2024)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
di: Bhattar, Poornachandratejasvi Laxman, et al.
Pubblicazione: (2026)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
di: Fayed, Mahmoud Samir
Pubblicazione: (2025)