caa a22 4500 467988722 CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900201xx s 000 0 eng 10.1007/BF03037209 doi (NATIONALLICENCE)springer-10.1007/BF03037209 An abstract interpretation scheme for identifying inherent parallelism in logic programs [Elektronische Daten] [Arvind Bansal, Leon Sterling] We describe a new scheme for the abstract interpretation of logic programs. The scheme was developed to identify and integrate different forms of inherent parallelism in logic programs at compile time. The scheme has four components: generalization, abstract unification, summarization and concretization, algorithms for which are discussed. The abstract domain for interpretation consists of type expressions which are used as program modes. The generated mode information has been applied to identify different classes of procedures exhibiting different forms of inherent parallelism. The mode information has also been applied for detection of guards and producer-consumer relationship. The advantages and limitations of our resulting scheme are discussed. Ohmsha, Ltd. and Springer, 1990 Abstract Interpretation nationallicence Determinacy nationallicence Procedure Classification nationallicence Committed-Choice nationallicence Logic Program nationallicence Mode nationallicence Parallelism nationallicence Type nationallicence Compilation nationallicence Transformation nationallicence Bansal Arvind Department of Mathematical Sciences, Kent State University, 44242, OH, USA aut Sterling Leon Department of Computer Engg. and Science, Case Western Reserve University, 44106, OH, USA aut New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 273-324 0288-3635 7:2-3<273 1990 7 354 https://doi.org/10.1007/BF03037209 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037209 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Bansal Arvind Department of Mathematical Sciences, Kent State University, 44242, OH, USA aut NATIONALLICENCE 700 1- Sterling Leon Department of Computer Engg. and Science, Case Western Reserve University, 44106, OH, USA aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 273-324 0288-3635 7:2-3<273 1990 7 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer