References

1

S. Aikawa, M. Kamiko, H. Kubo, F. Matsuzawa, and T. Chikayama. Paragraph: A Graphical Tuning Tool for Multiprocessor Systems. In Proceedings of the Intl. Conference on Fifth Generation Computer Systems, pages 286-293. Tokio, ICOT, June 1992.

2

Khayri A.M. Ali, R. Karlsson. The Muse Approach to OR-Parallel Prolog. International Journal of Parallel Programming, pp.129-162, Vol.19, No.2, April 1990.

3

Khayri A.M. Ali, R. Karlsson. Full Prolog and Scheduling OR-Parallelism in Muse. To appear in the International Journal of Parallel Programming, Vol.19, No.6, Dec.1990.

4

R. Barbuti, M. Codish, R. Giacobazzi, G. Levi. Modelling Prolog Control. Proceedings of the 17th Annual ACM Symposium on Principles of Programming Languages, ACM 1992 (to appear).

5

U.C. Baron and et al. ElipSys Logic Programming Language. Technical Report DPS-81, ECRC, Munich, Germany, December 1990.

6

M. Bergère. Approche Déclarative du Diagnostic d'Erreur pour la Programmation en Logique avec Négation. Thesis, University of Orléans, February 1991.

7

M.H. Brown. Exploring Algorithms Using BALSA II. IEEE Computer, 21(5):14-36, 1988.

8

M. Bruynooghe. A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming, 10(1,2,3 and 4):91-124, 1991.

9

M. Bruynooghe, G. Janssens, B. Demoen and A. Callebaut. Abstract Interpretation: Towards the Global Optimization of Prolog Programs. Proc. Fourth IEEE Symp. Logic Programming, 1987.

10

M. Bruynooghe and G. Janssens. An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. Proc. Fifth Int'l Conf. on Logic Programming, 1988.

11

F. Bueno, D. Cabeza, M. Hermenegildo, and S.D. Prestwich. Some Improvements to an Abstract Syntax for Analysis and Optimization of Full (Parallel) Prolog. Technical Report CLIP3/93.0.

12

F. Bueno, M.J. Garcıa and M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. In Proceedings of International Logic Programming Symposium, ILPS'94, MIT Press.

13

F. Bueno, M.J. Garcıa and M. Hermenegildo. A Comparative Study of Methods for Automatic Compile-Time Parallelization of Logic Programs. In Proceedings of PASCO'94, Linz, Austria.

14

F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Data-flow Analysis of Standard Prolog Programs. In ICLP95 WS on Abstract Interpretation of Logic Languages. Japan. June, 1995.

15

D. Cabeza and M. Hermenegildo. Extracting Non-strict Independent And-parallelism Using Sharing and Freeness Information. In Proceedings of the 1994 Static Analysis Symposium, SAS'94. Namur, Belgium.

16

M. Codish, M. Falaschi, and K. Marriott. Suspension Analyses for Concurrent Logic Programs. In Proceedings of 1991 Int'l. Conf. on Logic Programming.

17

P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Proc. Fourth ACM Symp. Principles of Programming Languages, 1977.

18

P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. Proc. Sixth ACM Symp. Principles of Programming Languages, 1979.

19

S. Debray and D.S. Warren. Automatic Mode Inference for Logic Programs. Journal of Logic Programming, Vol. 5, 1988.

20

S.K. Debray, N.-W. Lin, and M. Hermenegildo. Task Granularity Analysis in Logic Programs. In Proc. of the 1990 ACM Conf. on Programming Language Design and Implementation, pages 174-188. ACM Press, June 1990.

21

S.K. Debray and N.-W. Lin. Cost Analysis of Logic Programs. ACM Transactions on Programming Languages and Systems, vol. 15 no. 5, Nov. 1993, pp. 826-875.

22

S. Debray, P. López, M. Hermenegildo and N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. Technical Report TR Number CLIP4/94.0, T.U. of Madrid (UPM), March, 1994.

23

P. Deransart. On the Multiplicity of Operational Semantics for Logic Programming, their Modelling by Attribute Grammars and their Use to Prove Properties of Logic Programs. LIFO RR89-2, University of Orléans, March 1989, Trégastel workshop, May 1989.

24

P. Deransart, G. Ferrand. Error Diagnosis in Logic Programming: Experimental Realisation. LIFO report, University of Orléans, Trégastel workshop, May 1985.

25

P. Deransart, G. Ferrand. A Methodological View of Logic Programming with Negation/ INRIA RR 1011, April 1989.

26

P. Deransart, G. Ferrand. Proof Methods and Declarative Diagnosis in Logic Programming -- A Tutorial. Proceedings of the International Conference on Logic Programming, Lisbonne, June 19-23, 1989.

27

P. Deransart, G. Ferrand. An Operational Formal Definition of PROLOG: A Specification and its Application. LIFO report, University of Orléans, May 1991. (To appear in New Generation Computing)

28

T. Disz and E. Lusk. A Graphical Tool for Observing the Behavior of Parallel Logic Programs. In Proceedings of the 1987 Symposium on Logic Programming, pages 46-53. IEEE Computer Society Press, 1987.

29

M. Eisenstadt and M. Brayshaw. The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming. Journal of Logic Programming, 5(4), 1988.

30

M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Compositional Analysis for Concurrent Constraint Programming. In Proc. Eighth IEEE Symp. on Logic In Computer Science, pages 210-221. IEEE Computer Society Press, Los Alamitos, California, 1993.

31

M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Confluence and Concurrent Constraint Programming. In Proc. of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95), Montreal, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1995.

32

M.J. Fernández, M. Carro and M. Hermenegildo. IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP'94 WS on Parallel and Data Parallel Execution of Logic Programs.

33

K. Furukawa, A. Okumura, M. Murakami. Unfolding Rules for GHC Programs. New Generation Computing, Vol. 6 Nos. 2,3 1988, Springer-Verlag.

34

J. Gallagher, M. Codish, E. Shapiro. Specialisation of Prolog and FCP PRograms Using Abstract Interpretation. In New Generation Computing, Vol. 6 Nos. 2,3 1988, Springer-Verlag.

35

G. Gupta and M. Hermenegildo. ACE: And/Or-parallel Copying-based Execution of Logic Programs. In ICLP '91 Workshop on Parallel Execution of Logic Programs, LNCS 569, pages 146-159. Springer-Verlag, December 1991.

36

M.T. Heath and J.A. Etheridge. Visualizing the Performance of Parallel Programs. IEEE Software, pages 29-39, September 1991.

37

M. Hermenegildo and M. Carro. A Note on Data-Parallelism and (And-Parallel) Prolog. In Proceedings of First International EURO-PAR Conference, LNCS 966. Stockholm, Sweden, August 1995.

38

M. Hermenegildo and R. Nasr. A Tool for Visualizing Independent And-parallelism in Logic Programs. Technical report, T.U. of Madrid (UPM), 1990. Presented at the NACLP-90 Workshop on Parallel Logic Programming, Austin, TX.

39

M. Hermenegildo, K. Greene. &-Prolog and its Performance: Exploiting Independent AND-Parallelism. Proceedings of the International Conference on Logic Programming pp.253-268, MIT Press, June 1990.

40

M. Hermenegildo, F. Rossi. On the Correctness and Efficiency of Independent AND-Parallelism in Logic Programs. E.Lusk, R.Overbeck, editors, Proceedings of the North American Conference on Logic Programming, pp.369-389, MIT Press, Cambridge, Mass., October 1989.

41

M. Hermenegildo, F. Rossi. Non-Strict Independent AND-Parallelism. Proceedings of the International Conference on Logic Programming, pp. 237-252, MIT Press, June 1990.

42

M. Hermenegildo and the CLIP group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel Concurrent Constraint System. In Principles and Practice of Constraint Programming. Springer-Verlag LNCS 874, 1994.

43

M. Hermenegildo, K. Marriott, G. Puebla, and P. Stuckey. Incremental Analysis of Logic Programs. In 1995 International Conference on Logic Programming, MIT Press, 1995.

44

P.M. Hill, J.W. Lloyd. The Gödel Report. TR-91-02 (revised September 1991), Department of Computer Science, University of Bristol, 1991.

45

N.D. Jones and H. Søndergaard. A Semantics-based Framework for the Abstract Interpretation of Prolog. In "Abstract Interpretation of Declarative Languages, ed.s S. Abramsky and C. Hankin, Ellis Horwood Ltd, 1987.

46

A. King and P. Soper. Serialisation Analysis of Concurrent Logic Programs. In ICALP'92, Pisa, Italy. Springer-Verlag, 1992.

47

J.W. Lloyd. Declarative Error Diagnosis. New Generation Computing, Vol.5, pp.133-154, 1987.

48

P. López, M. Hermenegildo and S.K. Debray. Towards Granularity Based Control of Parallelism in Logic Pograms. In Proceedings of PASCO'94. Linz, Austria.

49

P. López and M. Hermenegildo. Efficient Term Size Computation for Granularity Control. In Proceedings of ICLP'95, June 1995.

50

H. Mannila and E. Ukkonen. Flow Analysis of Prolog Programs. Proc. 4th IEEE Symp. on Logic Programming, 1987.

51

K. Marriott, H. Søndergaard. Bottom-up Abstract Interpretation of Logic Programs. R.A.Kowalski, K.A.Bowen, editors, Proceedings of the 5th International Conference on Logic Programming, pp.733-748, MIT Press, Cambridge, Mass., 1988.

52

K. Marriott and H. Søndergaard. Semantics-based Dataflow Analysis of Logic Programs. In ``Information Processing 89'', ed. G. Ritter, North-Holland, 1989.

53

C. Mellish. Abstract Interpretation of Prolog Programs. In "Abstract Interpretation of Declarative Languages, ed.s S. Abramsky and C. Hankin, Ellis Horwood Ltd, 1987.

54

K. Muthukumar and M. Hermenegildo. Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation. In 1989 North American Conference on Logic Programming, pages 166-189. MIT Press, October 1989.

55

K. Muthukumar, M. Hermenegildo. The CDG, UDG and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent AND-parallelism. Proceedings of the International Conference on Logic Programming, pp. 221-237, MIT Press, June 1990.

56

E. Pontelli, G. Gupta and M. Hermenegildo. &ACE: A High-Performance Parallel Prolog System. In International Parallel Processing Symposium, IEEE Computer Society Technical Committee on Parallel Processing. April, 1995.

57

S.D. Prestwich. Partial Deduction with Dynamic Generalisation. (to appear)

58

S.D. Prestwich. The PADDY Partial Deduction System. (to appear)

59

S.D. Prestwich and A.J. Kusalik. Programmer-Oriented Visualisation of Parallel Logic Program Execution. ECRC-94-7, Feb. 1994.

60

S.D. Prestwich. Refined Processor Utilisation Graphs for Parallel Logic Programs. ECRC-94-35, Aug. 1994.

61

S. D. Prestwich, S. Mudambi. Improved Branch and Bound in Constraint Logic Programming. In First International Conference on Principles and Practice of Constraint Programming. Springer-Verlag LNCS, 1995.

62

B.A. Price, I.S. Small, and R.M. Baecker. A Taxonomy of Software Visualization. In Twenty-Fifth Hawaii International Conference on System Sciences, January 1992.

63

G. Puebla and M. Hermenegildo. Implementation of Multiple Specialization in Logic Programs, In Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, ACM, June 1995.

64

S. Renault. Validation de Programmes Logiques: Système d'aide à la Preuve de Propriétés Déclaratives Fondé sur la Méthode des Annotations, Extension aux Programmes Normaux et Exemples de Validation de Spécifications. DEA Report, Université de Paris 7 and INRIA, September 1991.

65

D. Sahlin. An Automatic Partial Evaluator for Full Prolog. Ph.D. Thesis, Swedish Institute of Computer Science, SICS Dissertation Series 04, March 1991, ISRN SICS/D-91/4-SE

66

D. Sahlin and T. Sjöland, Static Analysis of AKL, demo and poster session in LNCS, Proceedings of Workshop on Static Analysis, Padova 1993.

67

T. Sjöland and D. Sahlin, Fixpoint Analysis of Type and Alias in AKL Programs. SICS Research Report R94/139, Stockholm, Sweden.

68

R.S. Scowen. Draft for Working Draft 5.0. ISO/IEC JTC1 SC22 WG17 N72, June 1991.

69

D. Smith and T. Hickey. Partial Evaluation of a CLP Language. Proceedings of the North American Conference on Logic Programming, MIT Press 1990.

70

H. Søndergaard. Semantics-Based Analysis and Transformation of Logic Programs. The University of Melbourne, 1990.

71

J. Sundberg and C. Svensson. MUSE TRACE: A Graphic Tracer for OR-Parallel Prolog. Technical Report T90003, SICS, 1990.

72

E. Tick. Visualizing Parallel Logic Programming with VISTA. In International Conference on Fifth Generation Computer Systems, pages 934-942. Tokio, ICOT, June 1992.

73

K. Ueda and M. Morita. Message-oriented parallel implementation of moded flat GHC. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 799-808, ICOT, Japan, 1992. Association for Computing Machinery.

74

K. Ueda and M. Morita. A new implementation technique for flat GHC. In International Conference on Logic Programming, pages 3-17, Jerusalem, (1990). MIT Press.

75

E. Zaffanella, G. Levi and R. Giacobazzi. Abstracting synchronisation in concurrent constraint programming. Proc. Sixth Int'l Symp. on Programming Languages Implementation and Logic Programming. LNCS 844, pages 57-72. Springer-Verlag, 1994. (Extended version to appear in the Journal of Functional and Logic Programming).

76

E. Zaffanella. Domain Independent Ask Approximation in CCP, In Proc. of the First ACM International Conference on Principles and Practice of Constraint Programming (CP'95), ACM Press, Cassis, 1995.