Imagen de Portada

Abstractions of Sequences, Functions and Operators

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Rustenholz, Louis, Lopez-Garcia, Pedro, Hermenegildo, Manuel V.
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
por: Rustenholz, Louis, et al.
Publicado: (2024)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
por: De Angelis, Emanuele, et al.
Publicado: (2024)

Abstract Operational Methods for Call-by-Push-Value
por: Goncharov, Sergey, et al.
Publicado: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
por: Barth, Max, et al.
Publicado: (2025)

Expressive Power of One-Shot Control Operators and Coroutines
por: Kobayashi, Kentaro, et al.
Publicado: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)

The Functional Machine Calculus III: Control
por: Heijltjes, Willem
Publicado: (2025)

Extensional and Non-extensional Functions as Processes
por: Sakayori, Ken, et al.
Publicado: (2024)

Functional Array Programming in an Extended Pi-Calculus
por: Hüttel, Hans, et al.
Publicado: (2024)

Verifying Functional Correctness Properties At the Level of Java Bytecode
por: Paganoni, Marco, et al.
Publicado: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
por: Huot, Mathieu, et al.
Publicado: (2021)

Denotational Foundations for Expected Cost Analysis
por: de Amorim, Pedro H. Azevedo
Publicado: (2024)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
por: Zhu, Shaowei, et al.
Publicado: (2024)

Linear Contextual Metaprogramming and Session Types
por: Ângelo, Pedro, et al.
Publicado: (2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
por: Klinkenberg, Lutz, et al.
Publicado: (2023)

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)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
por: Matsuoka, Satoshi
Publicado: (2026)

A uniform characterisation of the (a)synchronous must-preorder
por: Bernardi, Giovanni, et al.
Publicado: (2026)

Non-Cartesian Guarded Recursion with Daggers
por: Lemonnier, Louis
Publicado: (2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
por: Lemonnier, Louis
Publicado: (2024)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Symbolic Specification and Reasoning for Quantum Data and Operations
por: Ying, Mingsheng
Publicado: (2025)

Semantically Reflected Programs
por: Kamburjan, Eduard, et al.
Publicado: (2025)

Towards a Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2022)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
por: Ghica, Dan R., et al.
Publicado: (2022)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
por: Carette, TItouan, et al.
Publicado: (2022)

A programming language combining quantum and classical control
por: Dave, Kinnari, et al.
Publicado: (2025)

String Diagrams for $λ$-calculi and Functional Computation
por: Ghica, Dan, et al.
Publicado: (2023)

Quantum Circuits Are Just a Phase
por: Heunen, Chris, et al.
Publicado: (2025)

Impredicativity in Linear Dependent Type Theory
por: Speight, Sam, et al.
Publicado: (2026)

A Probabilistic Choreography Language for PRISM
por: Carbone, Marco, et al.
Publicado: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
por: Zilberstein, Noam, et al.
Publicado: (2025)

Positive Sharing and Abstract Machines
por: Accattoli, Beniamino, et al.
Publicado: (2025)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
por: Grandury, Marcos, et al.
Publicado: (2025)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
por: Elad, Neta, et al.
Publicado: (2025)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
por: Ukhanov, Evgeny
Publicado: (2025)

Orthologic Type Systems
por: Guilloud, Simon, et al.
Publicado: (2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
por: Rowicki, Radosław Jan, et al.
Publicado: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
por: Li, Kwing Hei, et al.
Publicado: (2025)