Buchumschlag

Expressivity of AuDaLa: Turing Completeness and Possible Extensions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Franken, Tom T. P., Neele, Thomas
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AuDaLa is Turing Complete
von: Franken, Tom T. P., et al.
Veröffentlicht: (2024)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
von: Deng, Haotian, et al.
Veröffentlicht: (2025)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

Expressive Power of One-Shot Control Operators and Coroutines
von: Kobayashi, Kentaro, et al.
Veröffentlicht: (2025)

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
von: Halftermeyer, Pierre
Veröffentlicht: (2026)

FO-Complete Program Verification for Heap Logics
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

Complete first-order reasoning for functional programs
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

Extensional and Non-extensional Functions as Processes
von: Sakayori, Ken, et al.
Veröffentlicht: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

Complete Local Reasoning About Parameterized Programs Over Topologies
von: Cheng, Ruotong, et al.
Veröffentlicht: (2026)

CHAD: Combinatory Homomorphic Automatic Differentiation
von: Vákár, Matthijs, et al.
Veröffentlicht: (2021)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
von: Kappé, Tobias, et al.
Veröffentlicht: (2023)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
von: Elad, Neta, et al.
Veröffentlicht: (2025)

Program Synthesis is $Σ_3^0$-Complete
von: Kim, Jinwoo
Veröffentlicht: (2024)

Softmax Transformers are Turing-Complete
von: Jiang, Hongjian, et al.
Veröffentlicht: (2025)

Complete and tractable machine-independent characterizations of second-order polytime
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2022)

An Introduction to Different Approaches to Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2024)

Weighted GKAT: Completeness and Complexity
von: Van Koevering, Spencer, et al.
Veröffentlicht: (2025)

Verifying Lock-free Search Structure Templates
von: Patel, Nisarg, et al.
Veröffentlicht: (2024)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
von: Carette, TItouan, et al.
Veröffentlicht: (2022)

Unrealizability Logic
von: Kim, Jinwoo, et al.
Veröffentlicht: (2022)

Towards Concurrent Quantitative Separation Logic
von: Fesefeldt, Ira, et al.
Veröffentlicht: (2022)

Algorithmically Expressive, Always-Terminating Model for Reversible Computation
von: Palazzo, Matteo, et al.
Veröffentlicht: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
von: Murphy, Charlie, et al.
Veröffentlicht: (2024)

Predictable Verification using Intrinsic Definitions
von: Murali, Adithya, et al.
Veröffentlicht: (2024)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
von: Ghica, Dan R., et al.
Veröffentlicht: (2022)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
von: Barthe, Gilles, et al.
Veröffentlicht: (2025)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2024)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
von: Amato, Gianluca, et al.
Veröffentlicht: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Operations on Fixpoint Equation Systems
von: Neele, Thomas, et al.
Veröffentlicht: (2023)

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

More Church-Rosser Proofs in BELUGA
von: Momigliano, Alberto, et al.
Veröffentlicht: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

A Nominal Approach to Probabilistic Separation Logic
von: Li, John M., et al.
Veröffentlicht: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Hybrid Intersection Types for PCF (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)