A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs


A variable can take values from the two-point complete lattice L whose least element is SS (Single producer/Single consumer) and the top is S M (Single producer/Multiple consumer). The datafiow analysis is summarized below. A formal t reatment of the analysis is given in [22]. I n i t i a l i z a t i o n The initial abstraction of the threadedness of… (More)
DOI: 10.1007/BFb0017195


1 Figure or Table

Slides referencing similar topics