:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Herrou, Agathe, de Dinechin, Florent, Letz, Stéphane, Orlarey, Yann, Volkova, Anastasia
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2403.06527
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
por: Foo, Yong Qi, et al.
Publicado: (2025)

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

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

Quantum Programming in Polylogarithmic Time
por: Ferrari, Florent, et al.
Publicado: (2025)

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

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
por: Moine, Alexandre, et al.
Publicado: (2025)

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

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

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

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

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)
por: Batz, Kevin, et al.
Publicado: (2024)

Towards Automated Verification of LLM-Synthesized C Programs
por: Mukherjee, Prasita, et al.
Publicado: (2024)

LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
por: Zhu, Kai, et al.
Publicado: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
por: Tušil, Jan, et al.
Publicado: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
por: Shen, Gan, et al.
Publicado: (2024)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
por: Dane, Serra Z., et al.
Publicado: (2026)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
por: Tekriwal, Mohit, et al.
Publicado: (2025)

Towards Analyzing N-language Polyglot Programs
por: Prakash, Jyoti, et al.
Publicado: (2026)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
por: Dong, Rui, et al.
Publicado: (2026)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
por: Liu, Chang, et al.
Publicado: (2023)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
por: Eriksson, Oscar, et al.
Publicado: (2025)

Towards General-Purpose Data Discovery: A Programming Languages Approach
por: Kang, Andrew, et al.
Publicado: (2025)

Language-Integrated Recursive Queries (Full Version)
por: Herlihy, Anna, et al.
Publicado: (2025)

Fixed Parameter Tractable Linearizability Monitoring
por: Han, Lee Zheng, et al.
Publicado: (2025)

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

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

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
por: Marron, Mark
Publicado: (2024)

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

Going Bananas! - Unfolding Program Synthesis with Origami
por: Fernandes, Matheus Campos, et al.
Publicado: (2024)

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

Adaptive Recursive Query Optimization
por: Herlihy, Anna, et al.
Publicado: (2023)

Synchronous Programming with Refinement Types
por: Chen, Jiawei, et al.
Publicado: (2024)

Modelling Program Spaces in Program Synthesis with Constraints
por: Hinnerichs, Tilman, et al.
Publicado: (2025)

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
por: Zhang, Yimin, et al.
Publicado: (2024)

$Classi|Q\rangle$ Towards a Translation Framework To Bridge The Classical-Quantum Programming Gap
por: Esposito, Matteo, et al.
Publicado: (2024)

Meta-compilation of Baseline JIT Compilers with Druid
por: Palumbo, Nahuel, et al.
Publicado: (2025)

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

Towards Repository-Level Program Verification with Large Language Models
por: Zhong, Si Cheng, et al.
Publicado: (2025)

Semantics of Sets of Programs
por: Kim, Jinwoo, et al.
Publicado: (2024)

Laws of Quantum Programming
por: Ying, Mingsheng, et al.
Publicado: (2024)