Author:
Lassez J.-L.,Nguyen V.L.,Sonenberg E.A.
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference38 articles.
1. A theorem on partially ordered sets with application to fixed point theorems;Abian;Canad. J. Math.,1961
2. A Cook's tour of countable non-determinism;Apt;ICALP,1981
3. Mathematical Theory of Program Correctness;de Bakker,1980
4. Programs and Machines;Bird,1976
Cited by
86 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Operations on Fixpoint Equation Systems;Logical Methods in Computer Science;2024-07-10
2. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11
3. Lower Bounds for Possibly Divergent Probabilistic Programs;Proceedings of the ACM on Programming Languages;2023-04-06
4. A wp Characterization of Jump Statements;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08
5. Automated verification of reactive and concurrent programs by calculation;Journal of Logical and Algebraic Methods in Programming;2021-06