Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Foo, Yong Qi, Cheong, Brian Sze-Kai, Adams, Michael D.
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Fixed-Point Formats Determination for Faust Programs
by: Herrou, Agathe, et al.
Published: (2024)

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

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

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
by: Foo, Darius, et al.
Published: (2023)

Are Programming Paradigms Paradigms? A Critical Examination of Floyd's Appropriation of Kuhn's Philosophy
by: Kiasari, Peyman M.
Published: (2025)

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

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
by: Rasheed, Abdullah H., et al.
Published: (2026)

Transition-Oriented Programming: Developing Provably Correct Systems
by: Ding, Yepeng
Published: (2020)

A Monadic Implementation of Functional Logic Programs
by: Hanus, Michael, et al.
Published: (2026)

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation
by: Gumin, Maxim, et al.
Published: (2025)

Polynomial Invariant Generation for Floating-Point Programs
by: Cai, Xuran, et al.
Published: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
by: Saurin, Alexis
Published: (2025)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
by: Silva, André, et al.
Published: (2025)

Escape from Callback Hell! A New Programming Paradigm for Network Simulation
by: Zhu, Yuanyi, et al.
Published: (2026)

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

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

Verifying Floating-Point Programs in Stainless
by: Gilot, Andrea, et al.
Published: (2026)

Finite Functional Programming
by: Arntzenius, Michael, et al.
Published: (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)
by: Batz, Kevin, et al.
Published: (2024)

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

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

Functional Logic Program Transformations
by: Hanus, Michael, et al.
Published: (2026)

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

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

Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)

Paradigm-Based Automatic HDL Code Generation Using LLMs
by: Sun, Wenhao, et al.
Published: (2025)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

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

Raqlet: Cross-Paradigm Compilation for Recursive Queries
by: Shaikhha, Amir, et al.
Published: (2025)

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

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
by: Ji, Ruyi, et al.
Published: (2022)

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

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

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
by: Garavel, Hubert
Published: (2026)

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

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
by: Steffen, Bernhard, et al.
Published: (2024)

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

AI-Assisted Fixes to Code Review Comments at Scale
by: Maddila, Chandra, et al.
Published: (2025)

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