Buchumschlag

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Foo, Yong Qi, Cheong, Brian Sze-Kai, Adams, Michael D.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Towards Fixed-Point Formats Determination for Faust Programs
von: Herrou, Agathe, et al.
Veröffentlicht: (2024)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
von: Amtoft, Torben, et al.
Veröffentlicht: (2024)

Qwerty: A Basis-Oriented Quantum Programming Language
von: Adams, Austin J., et al.
Veröffentlicht: (2024)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
von: Foo, Darius, et al.
Veröffentlicht: (2023)

Are Programming Paradigms Paradigms? A Critical Examination of Floyd's Appropriation of Kuhn's Philosophy
von: Kiasari, Peyman M.
Veröffentlicht: (2025)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
von: Adams, Austin J., et al.
Veröffentlicht: (2025)

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
von: Rasheed, Abdullah H., et al.
Veröffentlicht: (2026)

Transition-Oriented Programming: Developing Provably Correct Systems
von: Ding, Yepeng
Veröffentlicht: (2020)

A Monadic Implementation of Functional Logic Programs
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation
von: Gumin, Maxim, et al.
Veröffentlicht: (2025)

Polynomial Invariant Generation for Floating-Point Programs
von: Cai, Xuran, et al.
Veröffentlicht: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
von: Saurin, Alexis
Veröffentlicht: (2025)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
von: Silva, André, et al.
Veröffentlicht: (2025)

Escape from Callback Hell! A New Programming Paradigm for Network Simulation
von: Zhu, Yuanyi, et al.
Veröffentlicht: (2026)

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
von: de Sousa, Briza Mel Dias, et al.
Veröffentlicht: (2025)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
von: Krogstie, Håvard Rognebakke, et al.
Veröffentlicht: (2025)

Verifying Floating-Point Programs in Stainless
von: Gilot, Andrea, et al.
Veröffentlicht: (2026)

Finite Functional Programming
von: Arntzenius, Michael, et al.
Veröffentlicht: (2026)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
von: Liu, Zhengyang, et al.
Veröffentlicht: (2023)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2024)

Functional Logic Program Transformations
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

$φ$-Calculus: Object-Oriented Formalism
von: Bugayenko, Yegor, et al.
Veröffentlicht: (2021)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
von: Beheshti, Amin
Veröffentlicht: (2024)

Automated Expected Cost Analysis for Quantum Programs
von: Moser, Georg, et al.
Veröffentlicht: (2026)

Paradigm-Based Automatic HDL Code Generation Using LLMs
von: Sun, Wenhao, et al.
Veröffentlicht: (2025)

The Parallel Semantics Program Dependence Graph
von: Homerding, Brian, et al.
Veröffentlicht: (2024)

Semantics of Sets of Programs
von: Kim, Jinwoo, et al.
Veröffentlicht: (2024)

Oriented Metrics for Bottom-Up Enumerative Synthesis
von: Meyer, Roland, et al.
Veröffentlicht: (2025)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
von: Shaikhha, Amir, et al.
Veröffentlicht: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
von: Solanki, Rajendra Kumar
Veröffentlicht: (2024)

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
von: Ji, Ruyi, et al.
Veröffentlicht: (2022)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
von: Xu, Shuyuan, et al.
Veröffentlicht: (2024)

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
von: Kobaladze, Zurabi, et al.
Veröffentlicht: (2025)

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
von: Garavel, Hubert
Veröffentlicht: (2026)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
von: Arafat, Hassan, et al.
Veröffentlicht: (2025)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
von: Steffen, Bernhard, et al.
Veröffentlicht: (2024)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2026)

AI-Assisted Fixes to Code Review Comments at Scale
von: Maddila, Chandra, et al.
Veröffentlicht: (2025)

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)