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.
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.
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.
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.
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.
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.
M. Bruynooghe and G. Janssens.
An Instance of Abstract Interpretation Integrating Type and
Mode Inferencing.
Proc. Fifth Int'l Conf. on Logic Programming,
1988.
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.
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.
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.
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.
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.
M.Codish, D.Dams, E.Yardeni.
Bottom-up Abstract Interpretation of Logic Programs.
Technical report,
Dept. of Computer Science, The Weizmann Institute, Rehovot 1990.
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.
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.
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.
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.
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.
P.Deransart, G.Ferrand.
Error Diagnosis in Logic Programming: Experimental Realisation.
LIFO report, University of Orléans, Trégastel workshop, May 1985.
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.
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)
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.
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.
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.
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.
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.
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.
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.
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.
M.Hermenegildo, F.Rossi.
Non-Strict Independent AND-Parallelism.
Proceedings of the International Conference on Logic Programming, pp.
237-252, MIT Press, June 1990.
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.
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.
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.
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.
R. Kemp and G. Ringwood.
An Algebraic Framework for the Abstract
Interpretation of Logic Programs.
Proc. North American Conf. on Logic Programming '90, 1990.
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.
A. King
A New Twist to Linearity
Technical Report CSTR 93-13, Department of Electronics and Computer
Science, Southampton University, Southampton, 1993.
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.
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.
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.
K. Marriott and H. Sø ndergaard.
Semantics-based Dataflow Analysis of Logic Programs.
In ``Information Processing 89'',
ed. G. Ritter,
North-Holland,
1989.
C. Mellish.
Abstract Interpretation of Prolog Programs.
In "Abstract Interpretation of Declarative Languages,
ed.s S. Abramsky and C. Hankin,
Ellis Horwood Ltd,
1987.
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.
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.
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.
S.D.Prestwich, A.J.Kusalik.
High-Level Visualisation of Parallel Logic Program Execution.
Parallel Architectures and Languages Europe PARLE'94 (to appear).
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.
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.
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
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.
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.
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.
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.
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.
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.
Evan Tick.
Visualizing Parallel Logic Programming with VISTA.
In International Conference on Fifth Generation Computer
Systems, pages 934-942. Tokio, ICOT, June 1992.
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.
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