Image de couverture de livre

Computing $\sqrt{2}$ with FRACTRAN

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kaushik, Khushi, Murphy, Tommy, Weed, David
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages 68N15
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Quest Complete: the Holy Grail of Gradual Security
par: Chen, Tianyu, et autres
Publié: (2023)

Idempotent Slices with Applications to Code-Size Reduction
par: de Azevedo, Rafael Alvarenga, et autres
Publié: (2026)

Multi-Language Benchmark Generation via L-Systems
par: da Silva, Vinícius Francisco, et autres
Publié: (2025)

The Semantics of Metapropramming in Prolog
par: Warren, David S.
Publié: (2024)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
par: Sumitani, Rafael, et autres
Publié: (2024)

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
par: López-Rubio, Ezequiel
Publié: (2026)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
par: Zhong, Zhiyao, et autres
Publié: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
par: Niketan, Nripesh, et autres
Publié: (2025)

Three non-cubical applications of extension types
par: Zhang, Tesla
Publié: (2023)

High-Performance Generation of Constrained Inputs
par: Crump, Addison, et autres
Publié: (2025)

KnowTeX: Visualizing Mathematical Dependencies
par: Uskuplu, Elif, et autres
Publié: (2025)

Emulation-Completeness of Programming Languages
par: Morse, Gregory, et autres
Publié: (2026)

(Co)condition hits the Path
par: Zhang, Tesla, et autres
Publié: (2024)

Internalizing Extensions in Lattices of Type Theories
par: Chan, Jonathan
Publié: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
par: Chan, Jonathan, et autres
Publié: (2025)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
par: Erhard, Julian, et autres
Publié: (2024)

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
par: Araujo, Alan
Publié: (2026)

Optimal matching for sharing and linearity analysis
par: Amato, Gianluca, et autres
Publié: (2024)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
par: Bouzinier, Michael, et autres
Publié: (2026)

Real-time processing of distributed acoustic sensing data for earthquake monitoring operations
par: Biondi, Ettore, et autres
Publié: (2025)

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
par: Canesche, Michael, et autres
Publié: (2024)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
par: Guimarães, Maria Fernanda Oliveira, et autres
Publié: (2026)

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
par: Capucci, Matteo, et autres
Publié: (2024)

Hashing Modulo Context-Sensitive $α$-Equivalence
par: Blaauwbroek, Lasse, et autres
Publié: (2024)

Equivalence of Applicative Functors and Multifunctors
par: Abel, Andreas
Publié: (2024)

foetus -- Termination Checker for Simple Functional Programs
par: Abel, Andreas
Publié: (2024)

Optimal Software Pipelining using an SMT-Solver
par: Roorda, Jan-Willem
Publié: (2026)

Controlling the C3 super class linearization algorithm
par: Hivert, Florent, et autres
Publié: (2024)

Non-Asymptotic Analysis of Projected Gradient Descent for Physics-Informed Neural Networks
par: Nießen, Jonas, et autres
Publié: (2025)

Erlang Binary and Source Code Obfuscation
par: Morse, Gregory, et autres
Publié: (2026)

Expression Rates of Neural Operators for Linear Elliptic PDEs in Polytopes
par: Marcati, Carlo, et autres
Publié: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
par: De Angelis, Emanuele, et autres
Publié: (2022)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
par: Amato, Gianluca, et autres
Publié: (2024)

Building Whitespace-Sensitive Languages Using Whitespace-Insensitive Components
par: Hellwig, Alexander, et autres
Publié: (2025)

Mathematical Modeling in the Textile Industry
par: Yordzhev, Krasimir, et autres
Publié: (2026)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
par: Jaber, Guilhem, et autres
Publié: (2025)

On the Dynamical Hierarchy in Gathering Protocols with Circulant Topologies
par: Gerlach, Raphael, et autres
Publié: (2023)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
par: Bagnara, Roberto, et autres
Publié: (2016)

Complexity of Consistency Testing for the Release-Acquire Semantics
par: Govind, R., et autres
Publié: (2026)

BRIDGE: Building Representations In Domain Guided Program Synthesis
par: George, Robert Joseph, et autres
Publié: (2025)