Cover Image

From High to Low: Simulating Nondeterminism and State with State

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tang, Wenhao, Schrijvers, Tom
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Calculus for Scoped Effects & Handlers
by: Bosman, Roger, et al.
Published: (2023)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
by: Liell-Cock, Jack, et al.
Published: (2024)

A Demonic Outcome Logic for Randomized Nondeterminism
by: Zilberstein, Noam, et al.
Published: (2024)

Probability and Angelic Nondeterminism with Multiset Semantics
by: Ong, Shawn, et al.
Published: (2024)

Resolving Nondeterminism by Chance
by: Paul, Soumyajit, et al.
Published: (2025)

Rows and Capabilities as Modal Effects
by: Tang, Wenhao, et al.
Published: (2025)

Soundly Handling Linearity
by: Tang, Wenhao, et al.
Published: (2023)

A Hierarchy of Nondeterminism
by: Radi, Bader Abu, et al.
Published: (2022)

Resolving Nondeterminism with Randomness
by: Henzinger, Thomas A., et al.
Published: (2025)

On the State of Coherence in the Land of Type Classes
by: Racordon, Dimi, et al.
Published: (2025)

Finite-State Automaton To/From Regular Expression Visualization
by: Morazán, Marco T., et al.
Published: (2024)

Lenses for Partially-Specified States (Extended Version)
by: Matsuda, Kazutaka, et al.
Published: (2026)

StacKAT: Infinite State Network Verification
by: Jacobs, Jules, et al.
Published: (2025)

Modal Effect Types
by: Tang, Wenhao, et al.
Published: (2024)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
by: Tang, Xuan, et al.
Published: (2026)

Simulation of Dynamic Mechanical Systems at Virginia Polytechnic Institute and State University.
by: Mitchiner, R. G., et al.
Published: (1983)

State Space Estimation for DPOR-based Model Checkers(Extended Version)
by: Balasubramanian, A. R., et al.
Published: (2025)

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
by: Ling, Hongyi, et al.
Published: (2026)

Characterizing Implementability of Global Protocols with Infinite States and Data
by: Li, Elaine, et al.
Published: (2024)

Understanding and Mitigating Numerical Sources of Nondeterminism in LLM Inference
by: Yuan, Jiayi, et al.
Published: (2025)

Sharing State Between Prompts and Programs
by: Cheng, Ellie Y., et al.
Published: (2025)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
by: Bachmann, Clemens, et al.
Published: (2024)

Bialgebraic Reasoning on Stateful Languages
by: Goncharov, Sergey, et al.
Published: (2025)

Parallel Dual-Numbers Reverse AD
by: Smeding, Tom, et al.
Published: (2022)

Validating Quantum State Preparation Programs (Extended Version)
by: Li, Liyi, et al.
Published: (2025)

Nondeterminism makes unary 1-limited automata concise
by: Guillon, Bruno, et al.
Published: (2025)

AuDaLa is Turing Complete
by: Franken, Tom T. P., et al.
Published: (2024)

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
by: Czerwiński, Wojciech, et al.
Published: (2025)

From State Changes to Creative Decisions: Documenting and Interpreting Traces Across Creative Domains
by: Peng, Xiaohan, et al.
Published: (2026)

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
by: Steevens, Maarten, et al.
Published: (2026)

Runtime Verification on Abstract Finite State Models
by: Jevitha, KP, et al.
Published: (2024)

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

CRDT Emulation, Simulation, and Representation Independence
by: Liittschwager, Nathan, et al.
Published: (2025)

Axe 'Em: Eliminating Spurious States with Induction Axioms
by: Elad, Neta, et al.
Published: (2024)

The State of Julia for Scientific Machine Learning
by: Berman, Edward, et al.
Published: (2024)

Paradigm-Based Automatic HDL Code Generation Using LLMs
by: Sun, Wenhao, et al.
Published: (2025)

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

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
by: Rein, Patrick, et al.
Published: (2024)

Hybrid Structured Editing: Structures for Tools, Text for Users
by: Beckmann, Tom, et al.
Published: (2026)

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
by: Cassano, Federico, et al.
Published: (2023)