Buchumschlag

Towards Fixed-Point Formats Determination for Faust Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Herrou, Agathe, de Dinechin, Florent, Letz, Stéphane, Orlarey, Yann, Volkova, Anastasia
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
von: Foo, Yong Qi, et al.
Veröffentlicht: (2025)

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

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

Quantum Programming in Polylogarithmic Time
von: Ferrari, Florent, et al.
Veröffentlicht: (2025)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
von: Moine, Alexandre, 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)

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

Towards Automated Verification of LLM-Synthesized C Programs
von: Mukherjee, Prasita, et al.
Veröffentlicht: (2024)

LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
von: Zhu, Kai, et al.
Veröffentlicht: (2024)

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

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
von: Dane, Serra Z., 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)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
von: Tekriwal, Mohit, et al.
Veröffentlicht: (2025)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
von: Dong, Rui, et al.
Veröffentlicht: (2026)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
von: Liu, Chang, et al.
Veröffentlicht: (2023)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
von: Eriksson, Oscar, et al.
Veröffentlicht: (2025)

Towards Analyzing N-language Polyglot Programs
von: Prakash, Jyoti, et al.
Veröffentlicht: (2026)

Towards General-Purpose Data Discovery: A Programming Languages Approach
von: Kang, Andrew, et al.
Veröffentlicht: (2025)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
von: Parthasarathy, Gaurav, et al.
Veröffentlicht: (2024)

Language-Integrated Recursive Queries (Full Version)
von: Herlihy, Anna, et al.
Veröffentlicht: (2025)

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

Fixed Parameter Tractable Linearizability Monitoring
von: Han, Lee Zheng, et al.
Veröffentlicht: (2025)

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

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

Going Bananas! - Unfolding Program Synthesis with Origami
von: Fernandes, Matheus Campos, et al.
Veröffentlicht: (2024)

AutoVeriFix+: High-Correctness RTL Generation via Trace-Aware Causal Fix and Semantic Redundancy Pruning
von: Tan, Yan, et al.
Veröffentlicht: (2026)

Synchronous Programming with Refinement Types
von: Chen, Jiawei, et al.
Veröffentlicht: (2024)

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
von: Zhang, Yimin, et al.
Veröffentlicht: (2024)

Adaptive Recursive Query Optimization
von: Herlihy, Anna, et al.
Veröffentlicht: (2023)

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

Laws of Quantum Programming
von: Ying, Mingsheng, et al.
Veröffentlicht: (2024)

Programming Not Only by Example
von: Peleg, Hila, et al.
Veröffentlicht: (2017)

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

Meta-compilation of Baseline JIT Compilers with Druid
von: Palumbo, Nahuel, et al.
Veröffentlicht: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
von: Warren, David S., et al.
Veröffentlicht: (2024)

Modelling Program Spaces in Program Synthesis with Constraints
von: Hinnerichs, Tilman, et al.
Veröffentlicht: (2025)