MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Declaration

Download:
Download as a PDF | Download as a PS
by Konstantinos D. Varsamos, Konstantinos D. Varsamos
http://hypatia.dcs.qmw.ac.uk/data/uk/cs.bris.ac.uk/1994/1994-varsamos-0.ps.gz
Add To MetaCart

Abstract:

University of Bristol, and has not been submitted for any other degree or diploma of any examining body. Except where acknowledged in the text, all work is the original work of the author.

Citations

108 PARLOG: Parallel Programming in Logic – Clark, Gregory - 1986
97 Static inference of modes and data dependencies in logic programs – Debray - 1989
68 Automatic Mode Inference for Logic Programs – Debray, Warren - 1988
66 Abstract Interpretation of Prolog Programs – Mellish - 1986
59 Extension Tables: Memo Relations in Logic Programming – Dietrich - 1987
58 Some Global Optimizations for a Prolog Compiler – Mellish - 1985
53 Implementing Prolog − Compiling Predicate Logic Programs – Warren - 1977
48 An instance of abstract interpretation integrating type and mode inferencing – Bruynooghe, Janssens - 1988
42 Abstract interpretation: Towards the global optimization of Prolog programs – Bruynooghe, Janssens, et al. - 1987
38 The automatic generation of mode declarations for Prolog programs – Mellish - 1981
29 Transformation of logic programs into functional programs – Reddy - 1984
22 Flow Analysis of Prolog Programs – Mannila, Ukkonen - 1987
14 Hentenryck : "Constraint Satisfaction in Logic Programming – Van - 1989
5 CHUKL: Constraint Handling Under KL1 – Yang - 1994
2 The constraint logic programming language CHIP – Simonis, Aggoun, et al. - 1988
2 Guarded Horn Clauses", NEC Corporation – Ueda - 1987