Buchumschlag

Programming of Cellular Automata in C and C++

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Christen, Patrik
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
von: Solanki, Rajendra Kumar
Veröffentlicht: (2024)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Liquid Tree Automata
von: Mishra, Ashish, et al.
Veröffentlicht: (2026)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

C-lisp and Flexible Macro Programming with S-expressions
von: Padmaraman, Vedanth, et al.
Veröffentlicht: (2024)

Towards Automated Verification of LLM-Synthesized C Programs
von: Mukherjee, Prasita, et al.
Veröffentlicht: (2024)

Active Learning of Symbolic NetKAT Automata
von: Moeller, Mark, et al.
Veröffentlicht: (2025)

Concept-Based Generic Programming in C++
von: Stroustrup, Bjarne
Veröffentlicht: (2025)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
von: Ciccalè, Marco, et al.
Veröffentlicht: (2025)

Domain-Specific Tensor Languages
von: Bernardy, Jean-Philippe, et al.
Veröffentlicht: (2023)

Grammar Repair with Examples and Tree Automata: Extended Version
von: Lee, Yunjeong, et al.
Veröffentlicht: (2026)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
von: Krogstie, Håvard Rognebakke, et al.
Veröffentlicht: (2025)

Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2024)

Pleasant Imperative Program Proofs with GallinaC
von: Fort, Frédéric, et al.
Veröffentlicht: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
von: Stutz, Felix, et al.
Veröffentlicht: (2025)

Asynchronism in Cellular Automata
von: Gautam, Virendra Kumar
Veröffentlicht: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)

Types, equations, dimensions and the Pi theorem
von: Botta, Nicola, et al.
Veröffentlicht: (2023)

Welding R and C++: A Tale of Two Programming Languages
von: Sepulveda, Mauricio Vargas
Veröffentlicht: (2024)

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)

Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations
von: Donyina, Adwoa, et al.
Veröffentlicht: (2025)

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
von: Yao, Peisen, et al.
Veröffentlicht: (2026)

Complete Multiparty Session Type Projection with Automata
von: Li, Elaine, et al.
Veröffentlicht: (2023)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
von: Korostinskiy, Roman, et al.
Veröffentlicht: (2024)

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

Simulation Limitations of Affine Cellular Automata
von: Hudcová, Barbora, et al.
Veröffentlicht: (2023)

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

&inator: Correct, Precise C-to-Rust Interface Translation
von: Chen, Victor, et al.
Veröffentlicht: (2026)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
von: Morazán, Marco T., et al.
Veröffentlicht: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
von: Svoboda, David, et al.
Veröffentlicht: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
von: Hideshima, Takato, et al.
Veröffentlicht: (2024)

Semantics of Sets of Programs
von: Kim, Jinwoo, et al.
Veröffentlicht: (2024)

Laws of Quantum Programming
von: Ying, Mingsheng, et al.
Veröffentlicht: (2024)

Programming Not Only by Example
von: Peleg, Hila, et al.
Veröffentlicht: (2017)

Finite Functional Programming
von: Arntzenius, Michael, et al.
Veröffentlicht: (2026)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
von: Warren, David S., et al.
Veröffentlicht: (2024)