Image de couverture de livre

Transition-Oriented Programming: Developing Provably Correct Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Ding, Yepeng
Format:	Preprint
Publié:	2020
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
par: Kobaladze, Zurabi, et autres
Publié: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
par: Teuber, Samuel, et autres
Publié: (2025)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
par: Foo, Yong Qi, et autres
Publié: (2025)

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
par: Pedersen, Jan, et autres
Publié: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
par: Adams, Austin J., 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)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
par: Amtoft, Torben, et autres
Publié: (2024)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
par: Adams, Austin J., et autres
Publié: (2025)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
par: Sun, Simeng, et autres
Publié: (2025)

Schema Evolution in Interactive Programming Systems
par: Edwards, Jonathan, et autres
Publié: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
par: Cherny-Shahar, Tsvi, et autres
Publié: (2024)

Efficient Formal Verification of Quantum Error Correcting Programs
par: Huang, Qifan, et autres
Publié: (2025)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
par: Chakraborty, Saikat, et autres
Publié: (2024)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
par: Chen, Ethan, et autres
Publié: (2024)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
par: Barnaby, Celeste, et autres
Publié: (2026)

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

$φ$-Calculus: Object-Oriented Formalism
par: Bugayenko, Yegor, et autres
Publié: (2021)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
par: Beheshti, Amin
Publié: (2024)

Flexible Correct-by-Construction Programming
par: Runge, Tobias, et autres
Publié: (2022)

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
par: Huang, Hanxian, et autres
Publié: (2024)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
par: Amorim, Arthur, et autres
Publié: (2024)

Provable Coordination for LLM Agents via Message Sequence Charts
par: Bollig, Benedikt, et autres
Publié: (2026)

Oriented Metrics for Bottom-Up Enumerative Synthesis
par: Meyer, Roland, et autres
Publié: (2025)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
par: Liu, Zhengyang, et autres
Publié: (2023)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
par: Schwerter, Felipe Bañados, et autres
Publié: (2025)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
par: Dong, Rui, et autres
Publié: (2026)

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

Transformers are Efficient Compilers, Provably
par: Zhai, Xiyu, et autres
Publié: (2024)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
par: Arafat, Hassan, et autres
Publié: (2025)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
par: Li, Feifei, et autres
Publié: (2026)

Is Programming by Example solved by LLMs?
par: Li, Wen-Ding, et autres
Publié: (2024)

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

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

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

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

Correctness is Demanding, Performance is Frustrating
par: Sinkarovs, Artjoms, et autres
Publié: (2024)

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

Laws of Quantum Programming
par: Ying, Mingsheng, et autres
Publié: (2024)

Programming Not Only by Example
par: Peleg, Hila, et autres
Publié: (2017)