Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pfingsten, Brysen, Hemann, Jason
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Six Ways to Implement Divisibility by Three in miniKanren
by: Schreiber, Brett, et al.
Published: (2024)

concurrentKanren: miniKanren for parallel execution
by: Dost, Sjoerd
Published: (2025)

Typed Embedding of miniKanren for Functional Conversion
by: Engel, Igor, et al.
Published: (2025)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
by: Verbitskaia, Ekaterina, et al.
Published: (2024)

An Empirical Study of Rational Tree Unification for miniKanren
by: Domoratskiy, Eridan, et al.
Published: (2025)

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

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
by: Kahn, David M, et al.
Published: (2025)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
by: Kudasov, Nikolai, et al.
Published: (2024)

Improving stableKanren's Backward Compatibility
by: Guo, Xiangyu, et al.
Published: (2024)

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
by: Guo, Xiangyu, et al.
Published: (2024)

Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
by: Guo, Xiangyu, et al.
Published: (2025)

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

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
by: Dong, Rui, et al.
Published: (2026)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
by: Paraskevopoulou, Zoe, et al.
Published: (2024)

Semantic Source Code Segmentation using Small and Large Language Models
by: Dahou, Abdelhalim, et al.
Published: (2025)

A Multi-Perspective Architecture for Semantic Code Search
by: Haldar, Rajarshi, et al.
Published: (2020)

Searching for Programmatic Policies in Semantic Spaces
by: Moraes, Rubens O., et al.
Published: (2024)

ReFEree: Reference-Free and Fine-Grained Method for Evaluating Factual Consistency in Real-World Code Summarization
by: Bae, Suyoung, et al.
Published: (2026)

Compactness via Pattern Stepping Bisimulation
by: Scharager, Matias
Published: (2024)

Step in Tine: Forking Processes in Functional Choreographies
by: Samuelson, Ashley, et al.
Published: (2026)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

An Operational Semantics for Yul
by: Koutavas, Vasileios, et al.
Published: (2024)

Causality and Semantic Separation
by: Zhang, Anna, et al.
Published: (2026)

The Search for Constrained Random Generators
by: Goldstein, Harrison, et al.
Published: (2025)

REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
by: Saieva, Anthony, et al.
Published: (2023)

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

Semantic Subtyping for Maps in Erlang
by: Yildirim, Erdem, et al.
Published: (2025)

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

The Simulation Semantics of Synthesisable Verilog
by: Lööw, Andreas
Published: (2025)

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

Persistent Iterators with Value Semantics
by: Li, Yihe, et al.
Published: (2026)

Coverage Semantics for Dependent Pattern Matching
by: Eremondi, Joseph, et al.
Published: (2025)

A Denotational Semantics for Quantum Loops
by: Assolini, Nicola, et al.
Published: (2025)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Semantic-Type-Guided Bug Finding
by: Qian, Kelvin, et al.
Published: (2024)

Membership Testing for Semantic Regular Expressions
by: Huang, Yifei, et al.
Published: (2024)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)

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

Semantically Separating Nominal Wyvern for Usability and Decidability
by: Zhu, Yu Xiang, et al.
Published: (2025)