Improving distributed unification through type analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1300 LNCS, Issue , 1997, Pages 1181-1190

  Lamma, Evelina ^a   Mello, Paola ^b   Stefanelli, Cesare ^a   Van Hentenryck, Pascal ^c  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

^c Brown University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; SPECIFICATIONS; STATIC ANALYSIS;

DISTRIBUTED IMPLEMENTATION; IMPLEMENTATION SCHEME; NETWORK OF WORKSTATIONS; TYPE ANALYSIS;

DATA STRUCTURES;

EID: 21744461874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0002871     Document Type: Conference Paper

References (18)

1. H. Aït-Kaci: Warren's Abstract Machine. The MIT Press (1991).
2. A. Ciampolini, E. Lamma, P. Mello and C. Stefanelli: Multilevel Copying for Unification in Parallel Architectures. Proc. Second Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society Press (1994) 518-525.
3. P. Cousot and R. Cousot: Abstract Interpretation and Application to Logic Programs. Journal of Logic Programming, 13 (1992) 103-180.
4. G. Frosini, P. Corsini and L. Rizzo: Implementing a parallel Prolog interpreter by using Occam and Transputers. Microprocessors and Microsystems, 13 (1989) 271-279.
5. F. Gecseg and M. Steinby: Tree Automata. Akademiai Kiado, Budapest (1984).
6. N. Heintze and J. Jaffar: A Finite Presentation Theorem for Approximating Logic Programs. Proc. 17th ACM Symp. on Principles of Programming Languages (1990) 197-209.
7. M. Hermenegildo, D. Cabeza and M. Cairo: Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. Proc. Int'l Conf. on Logic Programming ICLP95, The MIT Press (1995).
8. G. Janssens and M. Bruynooghe: Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. Journal of Logic Programming, 13 (2-3)(1992) 205-258.
9. P. Kacsuk and M. Wise (eds.): Implementations of Distributed Prolog. J. Wiley and Sons (1992).
10. E. Lamma, P. Mello, C. Stefanelli and P. Van Hentenryck: Consumption-based Distributed Unification in parallel architectures. Proc. APPIA-GULP-PRODE96, M. Martelli and M. Navarro eds., San Sebastian (S) (1996).
11. S. Le Huitouze: A New Data Structure for Implementing Extensions to Prolog. P. Deransart and J. Maluszunski eds, Proc. Programming Language Implementation and Logic Programming, Springer-Verlag (1990) 136-150.
12. K. Nakajima, N. Ichiyoshi, K. Rokusawa and Y. Inamura: Anew external reference management and distributed unification for KLl. ICOT editor, Proc. Int'l Conf. FGCS-88 (1988) 904-913.
13. L. Sterling, E. Shapiro: The Art of Prolog, MIT Press (1986).
14. Swedish Institute of Computer Science, SICStus Prolog User's Guide, S. Kista (1990).
15. S. Taylor: Parallel Logic Programming Techniques. Prentice-Hall International Editions (1989).
16. E. Tick: Parallel Logic Programming. MIT Press (1991).
17. P. Van Hentenryck, A. Cortesi, and B. Le Charlier: Type Analysis of Prolog using Type Graphs. Journal of Logic Programming, 22 (3) (1995).
18. D.H.D. Warren: An abstract Prolog instruction set. Technical Report TR 309, SRI International (1983).