Subject
General Computer Science,Theoretical Computer Science
Reference37 articles.
1. Domain theory;Abramsky,1994
2. Countable nondeterminism and random assignment;Apt;J. ACM,1986
3. Formal computations of non deterministic recursive program schemes;Arnold;Math. System Theory,1980
4. A continuous semantics for unbounded nondeterminism;Back;TCS,1983
5. Semantics of nondeterministic and noncontinuous constructs;Broy,1979
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An input–output relational domain for algebraic data types and functional arrays;Formal Methods in System Design;2024-06-13
2. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11
3. Lifting Numeric Relational Domains to Algebraic Data Types;Static Analysis;2022
4. Trace-based control-flow analysis;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
5. On collecting semantics for program analysis;Theoretical Computer Science;2020-07