Boolean functions for dependency analysis: Algebraic properties and efficient representation-Reference-Cited by-同舟云学术

Boolean functions for dependency analysis: Algebraic properties and efficient representation

Published:1994 Issue: Volume: Page:266-280
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Armstrong Tania,Marriott Kim,Schachte Peter,Søndergaard Harald

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58485-4_46.pdf

Reference18 articles.

1. T. Armstrong, K. Marriott, P. Schachte, and H. Søndergaard. Two Classes of Boolean Functions for Dependency Analysis. Technical Report 94/10, Dept. of Computer Science, The University of Melbourne, Australia, 1994.

2. N. Baker and H. Søndergaard. Definiteness analysis for CLP(-280-01). In G. Gupta, G. Mohay and R. Topor, editors, Proc. Sixteenth Australian Computer Science Conf., pages 321–332. Brisbane, Qld., January 1993.

3. P. Bigot, S. Debray and K. Marriott. Understanding finiteness analysis using abstract interpretation. In K. Apt, editor, Logic Programming: Proc. Joint Int. Conf. Symp., pages 735–749. MIT Press, 1992.

4. K. Brace, R. Rudell and R. Bryant. Efficient implementation of a BDD package. Proc. 27th ACM/IEEE Design Automation Conf., pages 40–45. IEEE Comp. Soc. Press, 1990.

5. F. M. Brown. Boolean Reasoning: The Logic of Boolean Equations. Kluwer Academic Publ., 1990.

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

1. Computing Abstract Distances in Logic Programs;Logic-Based Program Synthesis and Transformation;2020

2. Negative Ternary Set-Sharing;Logic Programming;2008

3. A Model for Inter-module Analysis and Optimizing Compilation;Logic Based Program Synthesis and Transformation;2001

4. Parameterizing a Groundness Analysis of Logic Programs;Static Analysis;2001

5. Abstract Interpretation Based Semantics of Sequent Calculi;Static Analysis;2000