Complementation in abstract interpretation-Reference-Cited by-同舟云学术

Complementation in abstract interpretation

Published:1995 Issue: Volume: Page:100-117
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Cortesi Agostino,Filé Gilberto,Giacobazzi Roberto,Palamidessi Catuscia,Ranzato Francesco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60360-3_35

Reference31 articles.

1. T. Armstrong, K. Marriott, P. Schachte, and H. Søndergaard. Boolean functions for dependency analysis: algebraic properties and efficient representation. In Proc. of SAS '94, LNCS 864, pp. 266–280, 1994.

2. G. Birkhoff. Lattice Theory. AMS Colloq. Publ., vol. XXV, 3rd edition, 1967.

3. M. Codish, A. Mulkers, M. Bruynooghe, M. García de la Banda, and M. Hermenegildo. Improving abstract interpretations by combining domains. In Proc. of ACM PEPM '93, pp. 194–206, 1993.

4. M. Comini and G. Levi. An algebraic theory of observables. In Proc. of ILPS '94, pp. 172–186, 1994.

5. A. Cortesi, G. Filé, and W. Winsborough. Comparison of abstract interpretations. In Proc. of ICALP '92, LNCS 623, pp. 521–532, 1992.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Maximal incompleteness as obfuscation potency;Formal Aspects of Computing;2017-01

2. 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

3. Sharing and groundness dependencies in logic programs;ACM Transactions on Programming Languages and Systems;1999-09

4. Decomposing Non-redundant Sharing by Complementation;Static Analysis;1999

5. The Boolean logic of set sharing analysis;Principles of Declarative Programming;1998