Copertina

Transition-Oriented Programming: Developing Provably Correct Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Ding, Yepeng
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
di: Kobaladze, Zurabi, et al.
Pubblicazione: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
di: Teuber, Samuel, et al.
Pubblicazione: (2025)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
di: Foo, Yong Qi, et al.
Pubblicazione: (2025)

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
di: Pedersen, Jan, et al.
Pubblicazione: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
di: Adams, Austin J., et al.
Pubblicazione: (2024)

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
di: Nongkhai, Lalita Na, et al.
Pubblicazione: (2025)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
di: Amtoft, Torben, et al.
Pubblicazione: (2024)

Symbolic Execution for Quantum Error Correction Programs
di: Fang, Wang, et al.
Pubblicazione: (2023)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
di: Adams, Austin J., et al.
Pubblicazione: (2025)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
di: Sun, Simeng, et al.
Pubblicazione: (2025)

Schema Evolution in Interactive Programming Systems
di: Edwards, Jonathan, et al.
Pubblicazione: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
di: Cherny-Shahar, Tsvi, et al.
Pubblicazione: (2024)

Efficient Formal Verification of Quantum Error Correcting Programs
di: Huang, Qifan, et al.
Pubblicazione: (2025)

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

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
di: Chen, Ethan, et al.
Pubblicazione: (2024)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
di: Barnaby, Celeste, et al.
Pubblicazione: (2026)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
di: Arbore, Russel, et al.
Pubblicazione: (2025)

$φ$-Calculus: Object-Oriented Formalism
di: Bugayenko, Yegor, et al.
Pubblicazione: (2021)

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

Flexible Correct-by-Construction Programming
di: Runge, Tobias, et al.
Pubblicazione: (2022)

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
di: Huang, Hanxian, et al.
Pubblicazione: (2024)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
di: Amorim, Arthur, et al.
Pubblicazione: (2024)

Provable Coordination for LLM Agents via Message Sequence Charts
di: Bollig, Benedikt, et al.
Pubblicazione: (2026)

Oriented Metrics for Bottom-Up Enumerative Synthesis
di: Meyer, Roland, et al.
Pubblicazione: (2025)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
di: Liu, Zhengyang, et al.
Pubblicazione: (2023)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
di: Schwerter, Felipe Bañados, et al.
Pubblicazione: (2025)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
di: Dong, Rui, et al.
Pubblicazione: (2026)

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
di: Arbore, Russel, et al.
Pubblicazione: (2024)

Transformers are Efficient Compilers, Provably
di: Zhai, Xiyu, et al.
Pubblicazione: (2024)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
di: Arafat, Hassan, et al.
Pubblicazione: (2025)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2026)

Is Programming by Example solved by LLMs?
di: Li, Wen-Ding, et al.
Pubblicazione: (2024)

Newtonian Program Analysis of Probabilistic Programs
di: Wang, Di, et al.
Pubblicazione: (2023)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
di: Huot, Mathieu, et al.
Pubblicazione: (2024)

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

C Analyzer : A Static Program Analysis Tool for C Programs
di: Solanki, Rajendra Kumar
Pubblicazione: (2024)

Correctness is Demanding, Performance is Frustrating
di: Sinkarovs, Artjoms, et al.
Pubblicazione: (2024)

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

Laws of Quantum Programming
di: Ying, Mingsheng, et al.
Pubblicazione: (2024)

Programming Not Only by Example
di: Peleg, Hila, et al.
Pubblicazione: (2017)