-
1
-
-
0345744464
-
Incremental constraint satisfaction for equational logic programming
-
M. Alpuente, M. Falaschi and G. Levi, Incremental constraint satisfaction for equational logic programming, Theoret. Comput. Sci. 142 (1) (1995) 27-57.
-
(1995)
Theoret. Comput. Sci.
, vol.142
, Issue.1
, pp. 27-57
-
-
Alpuente, M.1
Falaschi, M.2
Levi, G.3
-
2
-
-
0029270720
-
Analyses of unsatisfiability for equational logic programming
-
M. Alpuente, M. Falaschi and F. Manzo, Analyses of unsatisfiability for equational logic programming. J. Logic Programming 22 (3) (1995) 221-252.
-
(1995)
J. Logic Programming
, vol.22
, Issue.3
, pp. 221-252
-
-
Alpuente, M.1
Falaschi, M.2
Manzo, F.3
-
3
-
-
84910927748
-
Optimization of equational logic programs using abstract narrowing
-
Tech. Report DSIC-II/1/93, UPV, 1993. Short version in J. Penjam and M. Bruynooghe, ed., Proc. of PLILP'93, - Springer, Berlin
-
M. Alpuente, M. Falaschi, M.J. Ramis and G. Vidai, Optimization of equational logic programs using abstract narrowing. Tech. Report DSIC-II/1/93, UPV, 1993. Short version in J. Penjam and M. Bruynooghe, ed., Proc. of PLILP'93, - Lecture Notes in Computer Science, Vol. 714 (Springer, Berlin, 1993) 391-409.
-
(1993)
Lecture Notes in Computer Science
, vol.714
, pp. 391-409
-
-
Alpuente, M.1
Falaschi, M.2
Ramis, M.J.3
Vidal, G.4
-
4
-
-
0028195805
-
A compositional semantics for conditional term rewriting systems
-
H.E. Bal, ed., IEEE Computer Society Press
-
M. Alpuente, M. Falaschi, M.J. Ramis and G. Vidal, A compositional semantics for conditional term rewriting systems, in: H.E. Bal, ed., Proc. 6th IEEE Internat. Conf. on Computer Languages ICCL'94 (IEEE Computer Society Press, 1994) 171-182.
-
(1994)
Proc. 6th IEEE Internat. Conf. on Computer Languages ICCL'94
, pp. 171-182
-
-
Alpuente, M.1
Falaschi, M.2
Ramis, M.J.3
Vidal, G.4
-
5
-
-
21844525140
-
Compositional analysis for equational horn programs
-
G. Levi and M. Rodríguez-Artalejo, eds., Proc. 5th Internat Conf. on Algebraic and Logic Programming, ALP'94, Springer, Berlin
-
M. Alpuente, M. Falaschi and G. Vidal, Compositional analysis for equational horn programs, in: G. Levi and M. Rodríguez-Artalejo, eds., Proc. 5th Internat Conf. on Algebraic and Logic Programming, ALP'94, Lecture Notes in Computer Science, Vol. 850 (Springer, Berlin, 1994) 77-94.
-
(1994)
Lecture Notes in Computer Science
, vol.850
, pp. 77-94
-
-
Alpuente, M.1
Falaschi, M.2
Vidal, G.3
-
6
-
-
0010886356
-
Narrowing directed by a graph of terms
-
R.V. Bosk, ed., Proc. of RTA'91, Springer, Berlin
-
J. Chabin and P. Réty, Narrowing directed by a graph of terms, in: R.V. Bosk, ed., Proc. of RTA'91, Lecture Notes in Computer Science, Vol. 488 (Springer, Berlin, 1991) 112-123.
-
(1991)
Lecture Notes in Computer Science
, vol.488
, pp. 112-123
-
-
Chabin, J.1
Réty, P.2
-
8
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
-
P. Cousot and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proc. 4th ACM Symp. Principles of Programming Languages (1977) 238-252.
-
(1977)
Proc. 4th ACM Symp. Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
9
-
-
84910830623
-
On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences
-
J.C.M. Baeten and J.W. Klop, eds., Proc. of Concur 90, Springer, Berlin
-
F.S. de Boer and C. Palamidessi, On the asynchronous nature of communication in concurrent logic languages: a fully abstract model based on sequences, in: J.C.M. Baeten and J.W. Klop, eds., Proc. of Concur 90, Lecture Notes in Computer Science, Vol. 458 (Springer, Berlin, 1990) 175-194.
-
(1990)
Lecture Notes in Computer Science
, vol.458
, pp. 175-194
-
-
De Boer, F.S.1
Palamidessi, C.2
-
10
-
-
0028429645
-
Termination of logic programs: The never ending story
-
D. de Schreye and S. Decorte, Termination of logic programs: the never ending story, J. Logic Programming 19/20 (1994) 199-260.
-
(1994)
J. Logic Programming
, vol.19-20
, pp. 199-260
-
-
De Schreye, D.1
Decorte, S.2
-
11
-
-
0000029077
-
Rewrite systems
-
J. van Leeuwen, ed., Elsevier, Amsterdam
-
N. Dershowitz and J.-P. Jouannaud, Rewrite systems, in: J. van Leeuwen, ed., Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics (Elsevier, Amsterdam, 1990) 243-320.
-
(1990)
Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics
, pp. 243-320
-
-
Dershowitz, N.1
Jouannaud, J.-P.2
-
12
-
-
0011464180
-
An abstract concurrent machine for rewriting
-
H. Kirchner and W. Wechler, eds., Proc. 2nd Internat Conf. on Algebraic and Logic Programming, Springer, Berlin
-
N. Dershowitz and N. Lindenstrauss, An abstract concurrent machine for rewriting, in: H. Kirchner and W. Wechler, eds., Proc. 2nd Internat Conf. on Algebraic and Logic Programming, Lecture Notes in Computer Science, Vol. 463 (Springer, Berlin, 1990) 318-331.
-
(1990)
Lecture Notes in Computer Science
, vol.463
, pp. 318-331
-
-
Dershowitz, N.1
Lindenstrauss, N.2
-
13
-
-
0347567617
-
On the semantics of logic programs
-
J. Leach Albert, B. Monien and M. Rodriguez Artalejo, eds., Automata, Languages and Programming, 18th Internat. Colloq., Springer, Berlin
-
M. Gabbrielli and G. Levi, On the semantics of logic programs, in: J. Leach Albert, B. Monien and M. Rodriguez Artalejo, eds., Automata, Languages and Programming, 18th Internat. Colloq., Lecture Notes in Computer Science, Vol. 510 (Springer, Berlin, 1991) 1-19.
-
(1991)
Lecture Notes in Computer Science
, vol.510
, pp. 1-19
-
-
Gabbrielli, M.1
Levi, G.2
-
14
-
-
0024479642
-
Extending SLD-resolution to equational Horn clauses using E-unification
-
J.H. Gallier and S. Raatz, Extending SLD-resolution to equational Horn clauses using E-unification, J. Logic Programming 6 (1989) 3-43.
-
(1989)
J. Logic Programming
, vol.6
, pp. 3-43
-
-
Gallier, J.H.1
Raatz, S.2
-
15
-
-
84919112203
-
A completeness result for E-unification algorithms based on conditional narrowing
-
M. Boscarol, L. Carlucci and G. Levi, eds., Foundations of Logic and functional programming, Springer, Berlin
-
E. Giovannetti and C. Moiso, A completeness result for E-unification algorithms based on conditional narrowing, in: M. Boscarol, L. Carlucci and G. Levi, eds., Foundations of Logic and functional programming, Lecture Notes in Computer Science, Vol. 306 (Springer, Berlin, 1986) 157-167.
-
(1986)
Lecture Notes in Computer Science
, vol.306
, pp. 157-167
-
-
Giovannetti, E.1
Moiso, C.2
-
16
-
-
0028427164
-
The integration of functions into logic programming: From theory to practice
-
M. Hanus, The integration of functions into logic programming: from theory to practice, J. Logic Programming 19&20 (1994) 583-628.
-
(1994)
J. Logic Programming
, vol.19-20
, pp. 583-628
-
-
Hanus, M.1
-
17
-
-
0029196671
-
Strict and non-strict independent and-parallelism in logic programs: Correctness, efficiency and compile-time conditions
-
M. Hermenegildo and F. Rossi, Strict and non-strict independent and-parallelism in logic programs: correctness, efficiency and compile-time conditions, J. Logic Programming 22(1) (1995) 1-45.
-
(1995)
J. Logic Programming
, vol.22
, Issue.1
, pp. 1-45
-
-
Hermenegildo, M.1
Rossi, F.2
-
19
-
-
5344255589
-
Foundations of Equational Logic Programming
-
Springer, Berlin
-
S. Hölldobler, Foundations of Equational Logic Programming, Lecture Notes in Artificial Intelligence, Vol. 353 (Springer, Berlin, 1989).
-
(1989)
Lecture Notes in Artificial Intelligence
, vol.353
-
-
Hölldobler, S.1
-
20
-
-
85035020357
-
Canonical forms and unification
-
Proc. 5th Internat Conf on Automated Deduction, Springer, Berlin
-
J.M. Hullot, Canonical forms and unification, in: Proc. 5th Internat Conf on Automated Deduction, Lecture Notes in Computer Science, Vol. 87 (Springer, Berlin, 1980) 318-334.
-
(1980)
Lecture Notes in Computer Science
, vol.87
, pp. 318-334
-
-
Hullot, J.M.1
-
24
-
-
0001834942
-
Term rewriting systems
-
S. Abramsky, D. Gabbay and T. Maibaum, eds., Oxford University Press, Oxford
-
J.W. Klop, Term rewriting systems, in: S. Abramsky, D. Gabbay and T. Maibaum, eds., Handbook of Logic in Computer Science, Vol. I (Oxford University Press, Oxford, 1992) 1-112.
-
(1992)
Handbook of Logic in Computer Science
, vol.1
, pp. 1-112
-
-
Klop, J.W.1
-
25
-
-
0345744459
-
An AND-parallel implementation of the functional logic language babel
-
RWTH Aachen
-
H. Kuchen and W. Hans, An AND-parallel implementation of the functional logic language babel, in: Aachener Informatik-Bericht, Vol. 12 (RWTH Aachen, 1991) 119-139.
-
(1991)
Aachener Informatik-Bericht
, vol.12
, pp. 119-139
-
-
Kuchen, H.1
Hans, W.2
-
26
-
-
5544312980
-
Independent AND-parallel implementation of narrowing
-
M. Bruynooghe and M. Wirsing, eds., Proc. PLILP'92 (Leuven Belgium), Springer, Berlin
-
H. Kuchen, J.J. Moreno-Navarro and M. Hermenegildo, Independent AND-parallel implementation of narrowing, in: M. Bruynooghe and M. Wirsing, eds., Proc. PLILP'92 (Leuven Belgium), Lecture Notes in Computer Science, Vol. 631 (Springer, Berlin, 1992) 24-38.
-
(1992)
Lecture Notes in Computer Science
, vol.631
, pp. 24-38
-
-
Kuchen, H.1
Moreno-Navarro, J.J.2
Hermenegildo, M.3
-
27
-
-
0002248455
-
Unification revisited
-
J. Minker, ed., Morgan Kaufmann, Los Altos, CA
-
J.-L. Lassez, M.J. Maher and K. Marriott, Unification revisited, in: J. Minker, ed., Foundations of Deductive Databases and Logic Programming (Morgan Kaufmann, Los Altos, CA. 1988) 587-625.
-
(1988)
Foundations of Deductive Databases and Logic Programming
, pp. 587-625
-
-
Lassez, J.-L.1
Maher, M.J.2
Marriott, K.3
-
28
-
-
0024126962
-
Complete axiomatizations of the algebras of finite, rational and infinite trees
-
Computer Science Press, New York
-
M.J. Maher, Complete axiomatizations of the algebras of finite, rational and infinite trees, in: Proc. Third IEEE Symp. on Logic In Computer Science (Computer Science Press, New York, 1988) 348-357.
-
(1988)
Proc. Third IEEE Symp. on Logic in Computer Science
, pp. 348-357
-
-
Maher, M.J.1
-
29
-
-
0347005465
-
-
Tech. Report RC 16042, IBM - T.J. Watson Research Center, Yorktown Heights, NY
-
M.J. Maher, On parameterized substitutions, Tech. Report RC 16042, IBM - T.J. Watson Research Center, Yorktown Heights, NY, 1990.
-
(1990)
On Parameterized Substitutions
-
-
Maher, M.J.1
-
30
-
-
0000854481
-
Completeness results for basic narrowing
-
A. Middeldorp and E. Hamoen, Completeness results for basic narrowing, AAECC, 5 (1994) 213-253.
-
(1994)
AAECC
, vol.5
, pp. 213-253
-
-
Middeldorp, A.1
Hamoen, E.2
-
32
-
-
85027620328
-
Algebraic properties of idempotent substitutions
-
M.S. Paterson, ed., Proc. of the 17th Internat. Colloq. on Automata, Languages and Programming, Springer, Berlin
-
C. Palamidessi, Algebraic properties of idempotent substitutions, in: M.S. Paterson, ed., Proc. of the 17th Internat. Colloq. on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 443 (Springer, Berlin, 1990) 386-399.
-
(1990)
Lecture Notes in Computer Science
, vol.443
, pp. 386-399
-
-
Palamidessi, C.1
-
33
-
-
0003931061
-
-
Tech. Report DAIMI FN-19, Computer Science Department, Aarhus University
-
G. Plotkin, A structured approach to operational semantics, Tech. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
-
(1981)
A Structured Approach to Operational Semantics
-
-
Plotkin, G.1
-
34
-
-
0022213996
-
Narrowing as the operational semantics of functional languages
-
IEEE, New York
-
U.S. Reddy, Narrowing as the operational semantics of functional languages, in: Proc. 2nd IEEE Internat. Symp. on Logic Programming (IEEE, New York, 1985) 138-151.
-
(1985)
Proc. 2nd IEEE Internat. Symp. on Logic Programming
, pp. 138-151
-
-
Reddy, U.S.1
-
35
-
-
85031918641
-
NARROWER: A new algorithm for unification and its applications to logic programming
-
Proc. RTA'85, Springer, Berlin
-
P. Réty, C. Kirchner, H. Kirchner and P. Lescanne, NARROWER: A new algorithm for unification and its applications to logic programming, in: Proc. RTA'85, Lecture Notes in Computer Science, Vol. 202 (Springer, Berlin, 1985) 141-157.
-
(1985)
Lecture Notes in Computer Science
, vol.202
, pp. 141-157
-
-
Réty, P.1
Kirchner, C.2
Kirchner, H.3
Lescanne, P.4
-
37
-
-
85037056865
-
Domains for Denotational semantics
-
Proc. ICALP'82, Springer, Berlin
-
D. Scott, Domains for Denotational semantics, in: Proc. ICALP'82, Lecture Notes in Computer Science, Vol. 140 (Springer, Berlin, 1982) 577-613.
-
(1982)
Lecture Notes in Computer Science
, vol.140
, pp. 577-613
-
-
Scott, D.1
-
41
-
-
85030021506
-
Methodology for proving the termination of logic programs
-
Proc. PLILP'90, Springer, Berlin
-
B. Wang and R.K. Shyamasundar, Methodology for proving the termination of logic programs, in: Proc. PLILP'90, Lecture Notes in Computer Science, Vol. 456 (Springer, Berlin, 1990) 204-221.
-
(1990)
Lecture Notes in Computer Science
, vol.456
, pp. 204-221
-
-
Wang, B.1
Shyamasundar, R.K.2
|