Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Foo, Yong Qi, Cheong, Brian Sze-Kai, Adams, Michael D.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

Transition-Oriented Programming: Developing Provably Correct Systems
di: Ding, Yepeng
Pubblicazione: (2020)

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

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

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

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

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

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

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

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

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

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

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

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

Functional Logic Program Transformations
di: Hanus, Michael, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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