Copertina

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Bagrel, Thomas
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
di: Bagrel, Thomas, et al.
Pubblicazione: (2025)

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

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

Practical Formal Verification for MLIR Programs
di: Tucker, Emily, et al.
Pubblicazione: (2026)

A Pure Demand Operational Semantics with Applications to Program Analysis
di: Smith, Scott, et al.
Pubblicazione: (2023)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
di: Hansen, Zachary
Pubblicazione: (2025)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
di: Vidal, Germán
Pubblicazione: (2023)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
di: Mutlu, Doruk Alp
Pubblicazione: (2025)

From Algebraic Word Problem to Program: A Formalized Approach
di: Wiemerslage, Adam, et al.
Pubblicazione: (2020)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
di: Fedchin, Aleksandr, et al.
Pubblicazione: (2025)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
di: Lundén, Daniel, et al.
Pubblicazione: (2023)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
di: Rowland, Zachary S., et al.
Pubblicazione: (2025)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
di: Schimpf, Albert, et al.
Pubblicazione: (2026)

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

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

Formal Simulation and Visualisation of Hybrid Programs
di: Mendes, Pedro, et al.
Pubblicazione: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
di: Nagy, Shaan, et al.
Pubblicazione: (2024)

LACUNA: Safe Agents as Recursive Program Holes
di: Zhao, Yaoyu, et al.
Pubblicazione: (2026)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
di: Fowler, Simon, et al.
Pubblicazione: (2026)

LoRe: A Programming Model for Verifiably Safe Local-First Software
di: Haas, Julian, et al.
Pubblicazione: (2023)

Finite Functional Programming
di: Arntzenius, Michael, et al.
Pubblicazione: (2026)

Thread and Memory-Safe Programming with CLASS
di: Caires, Luís
Pubblicazione: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
di: Huang, Qifan, et al.
Pubblicazione: (2025)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
di: Thibault, Jérémy, et al.
Pubblicazione: (2024)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
di: Mora, Federico, et al.
Pubblicazione: (2024)

Finding Regular Herbrand Models for CHCs using Answer Set Programming
di: Maire, Gregoire, et al.
Pubblicazione: (2025)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
di: Hu, Lifan
Pubblicazione: (2025)

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

Reactive Programming without Functions
di: Oeyen, Bjarno, et al.
Pubblicazione: (2024)

Debugging Functional Programs by Interpretation
di: Whitington, John
Pubblicazione: (2024)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
di: Esmaeilsabzali, Shahram, et al.
Pubblicazione: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
di: Lybech, Stian, et al.
Pubblicazione: (2025)

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

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

Functional Programming in Learning Electromagnetic Theory
di: Walck, Scott N.
Pubblicazione: (2024)

Synthesizing Formal Semantics from Executable Interpreters
di: Liu, Jiangyi, et al.
Pubblicazione: (2024)

Beyond Cons: Purely Relational Data Structures
di: Sanna, Rafaello, et al.
Pubblicazione: (2025)

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

Unsafe Impedance: Safe Languages and Safe by Design Software
di: Barney, Lee, et al.
Pubblicazione: (2024)

(Dis)Proving Spectre Security with Speculation-Passing Style
di: Arranz-Olmos, Santiago, et al.
Pubblicazione: (2025)