:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Fruehwirth, Thom
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Data Structures and Algorithms Performance Symbolic Computation D.1.6; D.3.3
Online Access:	https://arxiv.org/abs/2503.10416
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
by: Fruehwirth, Thom
Published: (2023)

Corecursive Coding of High Computational Derivatives and Power Series
by: Karczmarczuk, Jerzy
Published: (2025)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
by: Ouardi, Doha, et al.
Published: (2024)

Repr Types: One Abstraction to Rule Them All
by: Palmkvist, Viktor, et al.
Published: (2024)

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

The Energy-Throughput Trade-off in Lossless-Compressed Source Code Storage
by: Ferragina, Paolo, et al.
Published: (2026)

Results of the Big ANN: NeurIPS'23 competition
by: Simhadri, Harsha Vardhan, et al.
Published: (2024)

Training Language Models to Use Prolog as a Tool
by: Mellgren, Niklas, et al.
Published: (2025)

Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search
by: Khoruzhii, Kirill, et al.
Published: (2025)

An Algebraic Approach to Weighted Answer-set Programming
by: Coelho, Francisco, et al.
Published: (2025)

A data structure for monomial ideals with applications to signature Gröbner bases
by: Lairez, Pierre, et al.
Published: (2026)

Adaptive Flip Graph Algorithm for Matrix Multiplication
by: Arai, Yamato, et al.
Published: (2023)

Fast Matrix Multiplication via Ternary Meta Flip Graphs
by: Perminov, A. I.
Published: (2025)

A more accurate rational non-commutative algorithm for multiplying 4x4 matrices using 48 multiplications
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
by: Kiefer, Stefan, et al.
Published: (2025)

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
Published: (2024)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
by: Boyer, Matthieu Pierre
Published: (2025)

BlockFIFO & MultiFIFO: Scalable Relaxed Queues
by: Koch, Stefan, et al.
Published: (2025)

Polynomial Bounds of CFLOBDDs against BDDs
by: Zhi, Xusheng, et al.
Published: (2024)

Compile-time Security Analysis and Optimization of Sensitive String Producers
by: Samuel, Mike, et al.
Published: (2026)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)

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

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
by: Guerreiro, Miguel de Oliveira
Published: (2025)

A note on occur-check (extended report)
by: Drabent, Włodzimierz
Published: (2022)

Simple Symmetric Sustainable Sorting -- the greeNsort article
by: Oehlschlägel, Jens
Published: (2024)

Exact Matching in Matrix Multiplication Time
by: Sato, Ryotaro, et al.
Published: (2025)

Some problems in asymptotic convex geometry and random matrices motivated by numerical algorithms
by: Vershynin, Roman
Published: (2007)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
by: Wang, Peixin, et al.
Published: (2025)

Relational Reactive Programming: miniKanren for the Web
by: Donahue, Evan
Published: (2024)

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

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

Weak-linearity, globality and in-place update
by: Gramaglia, Hector
Published: (2024)

A Calculus of Inheritance
by: Yang, Bo
Published: (2026)

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

How to Relax Instantly: Elastic Relaxation of Concurrent Data Structures
by: von Geijer, Kåre, et al.
Published: (2024)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
by: McCann, Alan L.
Published: (2026)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Conversational Concurrency
by: Garnock-Jones, Tony
Published: (2024)

Polymorphic Bottom-Up Weighted Relational Programming
by: Volkov, Dmitri
Published: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
by: Volkov, Dmitri, et al.
Published: (2025)