:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rechenberger, Sascha, Frühwirth, Thom
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2306.00642
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Optimized Execution of FreeCHR
von: Rechenberger, Sascha, et al.
Veröffentlicht: (2025)

An instance of FreeCHR with refined operational semantics
von: Rechenberger, Sascha, et al.
Veröffentlicht: (2025)

A Refined Operational Semantics for FreeCHR
von: Rechenberger, Sascha, et al.
Veröffentlicht: (2025)

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

10 PRINT CHR$(205.5+RND(1));
von: Montfort, Nick, et al.
Veröffentlicht: (2019)

jtmaliszewski/CHR-2025-It-takes-a-village: data
von: jtmaliszewski
Veröffentlicht: (2026)

Screening the Community for Individuals at Clinical High Risk (CHR) for Psychosis
von: Alexandre Andrade Loch, et al.
Veröffentlicht: (2025)

BELLUM PERSICUM (171-168 V.CHR). QUELLEN UND MODERNE HISTORIOGRAPHIE
von: Emmanuel Mora Iglesias
Veröffentlicht: (2014)

ESTUDIO MORFOLÓGICO DE ELAPHOGLOSSUM BALANSAE C. CHR. (DRY OPTERID ACE AE)
von: MÓNICA RODRÍGUEZ
Veröffentlicht: (2011)

Harmony at last: Overcoming arbitrary variation in clinical high risk (CHR) for psychosis assessment
von: Patrick McGorry, et al.
Veröffentlicht: (2024)

Tunisian Adolescents at CHR for Psychosis: A Pilot Study of Cognitive Remediation in a LMIC
von: Zeineb Abbes, et al.
Veröffentlicht: (2024)

Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
von: Fruehwirth, Thom
Veröffentlicht: (2025)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
von: Moosbrugger, Marcel, et al.
Veröffentlicht: (2026)

Remarks on Algebraic Reconstruction of Types and Effects
von: Balik, Patrycja, et al.
Veröffentlicht: (2026)

Towards Algebraic Subtyping for Extensible Records
von: Marques, Rodrigo, et al.
Veröffentlicht: (2024)

Signature Restriction for Polymorphic Algebraic Effects
von: Sekiyama, Taro, et al.
Veröffentlicht: (2020)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
von: Kammar, Ohad, et al.
Veröffentlicht: (2026)

From Algebraic Word Problem to Program: A Formalized Approach
von: Wiemerslage, Adam, et al.
Veröffentlicht: (2020)

Modular Probabilistic Models via Algebraic Effects
von: Nguyen, Minh, et al.
Veröffentlicht: (2022)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

An Incremental Algorithm for Algebraic Program Analysis
von: Zhou, Chenyu, et al.
Veröffentlicht: (2024)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
von: Liell-Cock, Jack, et al.
Veröffentlicht: (2024)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
von: Li, Zhuohao, et al.
Veröffentlicht: (2025)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
von: Maekawa, Seiji, et al.
Veröffentlicht: (2025)

GATlab: Modeling and Programming with Generalized Algebraic Theories
von: Lynch, Owen, et al.
Veröffentlicht: (2024)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
von: Goldstein, Oliver, et al.
Veröffentlicht: (2025)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
von: Ren, Silei, et al.
Veröffentlicht: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

Synchron -- An API and Runtime for Embedded Systems
von: Sarkar, Abhiroop, et al.
Veröffentlicht: (2022)

Fast and Extensible Hybrid Embeddings with Micros
von: Bocirnea, Sean, et al.
Veröffentlicht: (2025)

Scoped Effects as Parameterized Algebraic Theories
von: Matache, Cristina, et al.
Veröffentlicht: (2024)

Towards a Linear-Algebraic Hypervisor
von: Considine, Breandan
Veröffentlicht: (2026)

VEXIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity
von: VenkataKeerthy, S., et al.
Veröffentlicht: (2023)

Multiparty Session Typing, Embedded (Technical Report)
von: Jongmans, Sung-Shik
Veröffentlicht: (2025)

Typed Embedding of miniKanren for Functional Conversion
von: Engel, Igor, et al.
Veröffentlicht: (2025)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

For Generalised Algebraic Theories, Two Sorts Are Enough
von: Avrillon, Samy, et al.
Veröffentlicht: (2026)

Practical Algebraic Stepping with Scoped Filters
von: Fei, Haoxiang, et al.
Veröffentlicht: (2026)

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels
von: Zhu, Yifan, et al.
Veröffentlicht: (2026)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)