Up: Document: eatcs_95
Previous: More detailed dissemination activities
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.
<webmaster@clip.dia.fi.upm.es>
Last Modified: Fri May 9 18:15:08 MET DST 1997