Download:
|
by Sandro Etalie, Academisch Proefschrift
http://www.illc.uva.nl/Publications/Lists/../Dissertations/DS-1995-07.text.ps.gz
Add To MetaCart
Abstract:
For further information about ILLC-publications, please contact
Citations
|
556
|
The Art of Prolog
– Sterling, Shapiro
- 1986
|
|
212
|
Sato T.: Unfold/Fold Transformations of Logic Programs
– Tamaki
- 1984
|
|
122
|
Every logic program has a natural stratification and an iterated least fixed point model
– Przymusinski
- 1989
|
|
53
|
The 3 R's of optimizing constraint logic programs: Refinement, removal and reordering
– Marriott, Stuckey
- 1993
|
|
38
|
The automatic generation of mode declarations for Prolog programs
– Mellish
- 1981
|
|
37
|
Unfold/Fold Transformation of Stratified Programs
– Seki
- 1989
|
|
29
|
Transformation of logic programs into functional programs
– Reddy
- 1984
|
|
28
|
Polymorphically typed logic programs
– Yardeni, Fruhwirth, et al.
- 1991
|
|
26
|
Unfold/fold transformation of general logic programs for well-founded semantics
– Seki
- 1993
|
|
25
|
On the relationship between logic and functional languages
– Reddy
- 1986
|
|
25
|
Language and equality theory in logic programming
– Shepherdson
- 1991
|
|
18
|
Unfolding -- definition -- folding, in this order for avoiding unnecessary variables in logic programs
– Proietti, Pettorossi
- 1991
|
|
10
|
Using program transformation to obtain methods for eliminating backtracking in fixed-mode logic programs
– Rosenblueth
- 1991
|
|
10
|
An equivalence preserving first order unfold/fold transformation system
– Sato
- 1990
|
|
9
|
A Transformation System for Logic Programs which Preserves Equivalence
– Tamaki, Sato
- 1983
|
|
2
|
Transformation of logic programs: Foundations and thechniques
– Pettorossi, Proietti
- 1994
|
|
2
|
Total correctness of a goal replacement rule based of the unfold/fold proof method
– Proietti, Pettorossi
- 1994
|
|
2
|
Perfect model semantics
– Przymusinki
- 1988
|
|
1
|
An efficient unification algorithm. A CM T'azsactiozs o Programmizg Lazguagcs azd Systems
– Martelli, Montanafl
- 1982
|
|
1
|
o Logic Programmizg
– Syrup
- 1985
|
|
1
|
Costrait Satisfactio i Logic Programruling
– Hentenryck
- 1989
|
