Imagen de Portada

Linear-Time Graph Programs without Preconditions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Alaoui, Ziad Ismaili, Plump, Detlef
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages Logic in Computer Science Performance D.3.4; F.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms
por: Alaoui, Ziad Ismaili, et al.
Publicado: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
por: Knothe, David, et al.
Publicado: (2026)

The Denotational Semantics of SSA
por: Ghalayini, Jad Elkhaleq, et al.
Publicado: (2024)

Verified VCG and Verified Compiler for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Baking for Dafny: A CakeML Backend for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

A New Interaction Concept for Interactive and Autoactive Program Verification
por: Pfeifer, Wolfram, et al.
Publicado: (2026)

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
por: Singhal, Vidush, et al.
Publicado: (2026)

Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
por: Benbetka, Marouane, et al.
Publicado: (2025)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
por: Frenkel, Eden, et al.
Publicado: (2026)

Model Checking Probabilistic Operator Precedence Automata
por: Pontiggia, Francesco, et al.
Publicado: (2024)

TensorRight: Automated Verification of Tensor Graph Rewrites
por: Arora, Jai, et al.
Publicado: (2025)

On Modular Termination Proofs of General Logic Programs
por: Bossi, Annalisa, et al.
Publicado: (2000)

AdapTT: Functoriality for Dependent Type Casts
por: Adjedj, Arthur, et al.
Publicado: (2025)

Genericity Through Stratification
por: Arrial, Victor, et al.
Publicado: (2024)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
por: Gross, Jason, et al.
Publicado: (2022)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
por: Zaiser, Fabian, et al.
Publicado: (2024)

Definitional Functoriality for Dependent (Sub)Types -- Extended version
por: Laurent, Théo, et al.
Publicado: (2023)

Implementing Binary Search Trees in GP 2 (Extended Abstract)
por: Alaoui, Ziad Ismaili, et al.
Publicado: (2026)

What does it take to certify a conversion checker?
por: Lennon-Bertrand, Meven
Publicado: (2025)

The Lambda Calculus is Quantifiable
por: Maestracci, Valentin, et al.
Publicado: (2024)

Ground Stratification for a Logic of Definitions with Induction
por: Guermond, Nathan, et al.
Publicado: (2025)

A Graphical Interface for Category Theory Proofs in Coq
por: Chabassier, Luc
Publicado: (2025)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
por: Cerda, Rémy
Publicado: (2025)

Quantitative Verification with Neural Networks
por: Abate, Alessandro, et al.
Publicado: (2023)

Sequence-Based Abstract Interpretation of Prolog
por: Charlier, Baudouin Le, et al.
Publicado: (2000)

Extending the Quantitative Pattern-Matching Paradigm
por: Alves, Sandra, et al.
Publicado: (2024)

Early Announcement: Parametricity for GADTs
por: Cagne, Pierre, et al.
Publicado: (2024)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
por: Xu, Qiyuan, et al.
Publicado: (2024)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
por: Cerda, Rémy, et al.
Publicado: (2025)

Intersection Types for a Computational Lambda-Calculus with Global State
por: de'Liguoro, Ugo, et al.
Publicado: (2021)

Abstract clones for abstract syntax
por: Arkor, Nathanael, et al.
Publicado: (2021)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
por: Bertrand, Meven Lennon, et al.
Publicado: (2026)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
por: Grabmayer, Clemens, et al.
Publicado: (2025)

Multisets and Distributions
por: Kozen, Dexter, et al.
Publicado: (2023)

LR Parsing of Permutation Phrases
por: Kostičová, Jana
Publicado: (2024)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
por: Stepanenko, Sergei, et al.
Publicado: (2025)

Uniqueness is Separation
por: O'Connor, Liam, et al.
Publicado: (2026)

Explicit Weakening
por: Wadler, Philip
Publicado: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
por: Waldinger, Richard
Publicado: (2025)

Verifying Tree-Manipulating Programs via CHCs
por: Faella, Marco, et al.
Publicado: (2025)