Copertina

Inferring Non-Failure Conditions for Declarative Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Hanus, Michael
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

JEDI: Java Evaluation of Declarative and Imperative Queries
di: Schiavio, Filippo, et al.
Pubblicazione: (2026)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
di: Wang, Yongpan, et al.
Pubblicazione: (2025)

A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows
di: Daunis, Ivan
Pubblicazione: (2025)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
di: Gatherer, Alan, et al.
Pubblicazione: (2024)

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

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
di: Maddila, Chandra, et al.
Pubblicazione: (2025)

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

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

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)

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

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

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

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

Towards Analyzing N-language Polyglot Programs
di: Prakash, Jyoti, et al.
Pubblicazione: (2026)

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)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
di: Bhatia, Rishipal Singh
Pubblicazione: (2026)

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

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

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)

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

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

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

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)

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)

Object Graph Programming
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2024)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
di: Amilon, Jesper, et al.
Pubblicazione: (2026)

Mix-of-Language-Experts Architecture for Multilingual Programming
di: Zong, Yifan, et al.
Pubblicazione: (2025)

Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

How Programming Concepts and Neurons Are Shared in Code Language Models
di: Kargaran, Amir Hossein, et al.
Pubblicazione: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
di: He, Yifeng, et al.
Pubblicazione: (2025)

Inferring Properties of Graph Neural Networks
di: Nguyen, Dat, et al.
Pubblicazione: (2024)