References

1

Seiichi Aikawa, Mayumi Kamiko, Hideyuki Kubo, Fumiko Matsuzawa, and Takashi 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, Roland 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, Roland 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

R.Barbuti, R.Giacobazzi, G.Levi. A Declarative Abstract Semantics for Logic Programs. A.Bertoni, C.Böhm, P.Miglioli, editors, Proceedings of the 3rd Italian Conference on Theoretical Computer Science, pp.84-96. World Scientific, 1989.

6

R. Barbuti, R. Giacobazzi, and G. Levi. A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems, 15(1):133-181, January 1993.

7

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

8

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.

9

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

10

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.

11

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.

12

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

13

F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. López Garcıa, M. J. Garcıa de la Banda, Manuel Hermenegildo, Luis Gómez, Steven Prestwich, and Shan-When Yan. A Proposal for an Interchange Abstract Syntax for (Parallel) Prolog. Technical Report CLIP3/93.0, Computer Science Dept., Technical U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, June 1993.

14

F. Bueno, M. J. Garcıa de la Banda, D. Cabeza, and Manuel Hermenegildo. The &-Prolog Compiler System -- Automatic Parallelization Tools for LP, institution = Computer Science Dept., Technical U. of Madrid (UPM), address = Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, type = Technical Report, number = CLIP5/93.0, month = June, year = 1993. Technical report.

15

D. Cabeza and M. Hermenegildo. Towards Extracting Non-strict Independent And-parallelism Using Sharing and Freeness Information. Technical Report TR Number CLIP5/92.1, U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, August 1993.

16

M. Carro, L. Gómez, and M. Hermenegildo. Some Paradigms for Visualizing Parallel Execution of Logic Programs. In 1993 International Conference on Logic Programming, pages 184-201. MIT Press, June 1993.

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

M.Codish, D.Dams, E.Yardeni. Bottom-up Abstract Interpretation of Logic Programs. Technical report, Dept. of Computer Science, The Weizmann Institute, Rehovot 1990.

20

M. Codish, M. Falaschi, and K. Marriott. Suspension Analyses for Concurrent Logic Programs.

Proc. 1991 Int'l. Conf. on Logic Programming.

21

M. Codish, M. Falaschi, and K. Marriott. Suspension Analyses for Concurrent Logic Programs. To appear in ACM Transactions on Programming Languages and Systems, May 1994.

22

M.  Codish, M.  Falaschi, K.  Marriott, and W.  Winsborough. Efficient analysis of concurrent constraint logic programs. In A. Lingas, R. Karlsson and S. Carlsson, editors, Proc. of the 20th International Colloquium on Automata, Languages, and Programming, volume 700 of Lecture Notes in Computer Science, pages 633-644. Springer-Verlag, Berlin, 1993.

23

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

24

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.

25

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.

26

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.

27

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

28

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

29

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.

30

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)

31

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.

32

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.

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

G. Gupta, M. Hermenegildo, Enrico Pontelli, and Vıtor Santos Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. Technical report, U. of Madrid (UPM) and U. New Mexico, November 1992.

37

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

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.V.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 F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Journal of Logic Programming, 1994. To appear.

43

M. Hermenegildo and the CLIP group. First steps towards a ciao-prolog system. In Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies. Technical University of Madrid, June 1993.

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

S. Janson, J. Montelius, K. Boortz, P. Brand, B. Carlsson, R. C. Haygood, B. Danielsson and Seif Haridi. AGENTS User Manual. To be published by SICS in 1994.

46

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.

47

R. Kemp and G. Ringwood. An Algebraic Framework for the Abstract Interpretation of Logic Programs. Proc. North American Conf. on Logic Programming '90, 1990.

48

R. S. Kemp and G. A. Ringwood. A generator semantics for producer-consumer analysis. Technical Report 652, QMW, London University, UK, 1993.

49

B. Kemp and A. King Generators, sharing and freeness: the theory and practice of Deriving Data-Dependencies. NSF/ICOT Workshop on Parallel Logic Programming and its Programming Environments, Oregon, USA, 1994.

50

A. King A Synergistic Analysis for Sharing and Groundness which traces Linearity ESOP'94, Springer-Verlag, 1994.

51

A. King A New Twist to Linearity Technical Report CSTR 93-13, Department of Electronics and Computer Science, Southampton University, Southampton, 1993.

52

A. King and P. Soper Depth-k Sharing and Freeness. In ICLP'94. MIT Press, 1994.

53

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

54

A. King and P. Soper Schedule Analysis of Concurrent Logic Programs. In JICSLP'92, Washington. MIT Press, 1992.

55

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

56

P. López and M. Hermenegildo. An automatic sequentializer based on program transformation. Technical report, T.U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, April 1993.

57

P. López and M. Hermenegildo. Dynamic Term Size Computation in Logic Programs via Program Transformation. Technical report, T.U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, April 1993. Presented at the 1993 COMPULOG Area Meeting on Parallelism and Implementation Technologies.

58

E. Lusk et. al. The Aurora Or-Parallel Prolog System. New Generation Computing, 7(2,3), 1990.

59

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

60

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.

61

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

62

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

63

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.

64

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.

65

K. Muthukumar and M. Hermenegildo. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming, 13(2 and 3):315-347, July 1992.

66

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

67

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

68

S.D.Prestwich. On Parallelisation Strategies for Logic Programs. International Conference on Parallel Processing, Springer-Verlag, 1994 (to appear).

69

S.D.Prestwich, A.J.Kusalik. High-Level Visualisation of Parallel Logic Program Execution. Parallel Architectures and Languages Europe PARLE'94 (to appear).

70

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

71

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.

72

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

73

D. Sahlin and T. Sjöland, Towards Abstract Interpretation of AKL (extended abstract). Workshop on Concurrent Constraint Programming (ed. G. Smolka). International Conference on Logic Programming, Budapest, june 1993.

74

D. Sahlin and T. Sjöland, Demonstration: static analysis of AKL (demo and poster session). In Proc. of the Third International Workshop, WSA93, Padova, Italy, September 1993, P. Cousot, M. Falashi, G. Filè, A. Rauzy (eds.), Springer-Verlag, LNCS 724, 1993.

75

D. Sahlin and T. Sjöland, Towards an Analysis Tool for AKL. In First Periodic Progress Report, ESPRIT BR Project 6707, july 24, 1993. ed. M. Hermenegildo and P. Bueno, Univ. Politéc. de Madrid.

76

D. Sahlin and T. Sjöland, Abstract Syntax and Normalisation of AKL Programs. In First Periodic Progress Report, ESPRIT BR Project 6707, july 24, 1993. ed. M. Hermenegildo and P. Bueno, Univ. Politéc. de Madrid.

77

V. Santos-Costa, D.H.D. Warren, and R. Yang. Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-parallelism. In Proceedings of the 3rd. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM, April 1990.

78

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

79

K. Shen and M. Hermenegildo. A Flexible Scheduling and Memory Management Scheme for Non-Deterministic, And-parallel Execution of Logic Programs. Technical report, T.U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, April 1993. Presented at the ICLP'93 Post Conference Workshop on Logic Program Implementation.

80

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

81

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

82

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

83

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

84

Shan-When Yan. A General Purpose Abstract Interpreter and its application to Cost Analysis of Logic Programs. Technical Report D.WP1.2.1.M1.1, ECRC, July 1993.

85

ACCLAIM, ESPRIT Project 7195, Advanced Concurrent Constaint Langauges: Application, Implementation and Methodology, First Periodic Progress Report, july 22, 1993, ed. S. Janson and T. Sjöland, SICS