Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Foo, Yong Qi, Cheong, Brian Sze-Kai, Adams, Michael D.
Format:	Preprint
Publié:	2025
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

Towards Fixed-Point Formats Determination for Faust Programs
par: Herrou, Agathe, et autres
Publié: (2024)

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

Qwerty: A Basis-Oriented Quantum Programming Language
par: Adams, Austin J., et autres
Publié: (2024)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
par: Foo, Darius, et autres
Publié: (2023)

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

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

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
par: Rasheed, Abdullah H., et autres
Publié: (2026)

Transition-Oriented Programming: Developing Provably Correct Systems
par: Ding, Yepeng
Publié: (2020)

A Monadic Implementation of Functional Logic Programs
par: Hanus, Michael, et autres
Publié: (2026)

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation
par: Gumin, Maxim, et autres
Publié: (2025)

Polynomial Invariant Generation for Floating-Point Programs
par: Cai, Xuran, et autres
Publié: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
par: Saurin, Alexis
Publié: (2025)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
par: Silva, André, et autres
Publié: (2025)

Escape from Callback Hell! A New Programming Paradigm for Network Simulation
par: Zhu, Yuanyi, et autres
Publié: (2026)

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
par: de Sousa, Briza Mel Dias, et autres
Publié: (2025)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
par: Krogstie, Håvard Rognebakke, et autres
Publié: (2025)

Verifying Floating-Point Programs in Stainless
par: Gilot, Andrea, et autres
Publié: (2026)

Finite Functional Programming
par: Arntzenius, Michael, et autres
Publié: (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)
par: Batz, Kevin, et autres
Publié: (2024)

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

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

Functional Logic Program Transformations
par: Hanus, Michael, et autres
Publié: (2026)

$φ$-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)

Automated Expected Cost Analysis for Quantum Programs
par: Moser, Georg, et autres
Publié: (2026)

Paradigm-Based Automatic HDL Code Generation Using LLMs
par: Sun, Wenhao, et autres
Publié: (2025)

The Parallel Semantics Program Dependence Graph
par: Homerding, Brian, et autres
Publié: (2024)

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

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

Raqlet: Cross-Paradigm Compilation for Recursive Queries
par: Shaikhha, Amir, et autres
Publié: (2025)

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

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
par: Ji, Ruyi, et autres
Publié: (2022)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
par: Xu, Shuyuan, et autres
Publié: (2024)

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

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

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

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
par: Steffen, Bernhard, et autres
Publié: (2024)

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

AI-Assisted Fixes to Code Review Comments at Scale
par: Maddila, Chandra, et autres
Publié: (2025)

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