Deterministic Expressions in C
No abstract available.
Related papers
- Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness POPL 1995
- Algebras for Deterministic Computation Are Inherently Incomplete POPL 2025
- Deciding ML Typability is Complete for Deterministic Exponential Time POPL 1990
- Kleenex: compiling nondeterministic transducers to deterministic streaming transducers POPL 2016
- A type and effect system for deterministic parallel Java OOPSLA 2009
- A Non-Deterministic Call-by-Need Lambda Calculus ICFP 1998
- Deterministic Automata for the (F, G)-Fragment of LTL CAV 2012
- Deterministic parallelism via liquid effects PLDI 2012