Author:
Giacobazzi Roberto,Mastroeni Isabella
Subject
General Computer Science,Theoretical Computer Science
Reference43 articles.
1. Domain theory;Abramsky,1994
2. Recognizing safety and liveness;Alpern;Distributed Comp.,1987
3. Countable nondeterminism and random assignment;Apt;J. ACM,1986
4. Lattice Theory;Birkhoff,1967
5. A compositional semantics for logic programs;Bossi;Theoret. Comput. Sci.,1994
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Bounded Subset-Closed Hyperproperties;Static Analysis;2018
2. Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification;Static Analysis;2017
3. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
4. Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming;Lecture Notes in Computer Science;2010