Principles of declarative programming. 10th international symposium, PLILP '98. Held jointly with the 6th international conference, ALP '98, Pisa, Italy, September 16--18, 1998. Proceedings (Q1265642): Difference between revisions

The articles of mathematical interest will be reviewed individually. The preceding conference (9th, 1997) has been announced in the database Lecture Notes in Computer Science. Indexed articles: \textit{Vanhoof, Wim; De Schreye, Danny; Martens, Bern}, A framework for bottom up specialisation of logic programs, 54-72 [Zbl 0910.68041] \textit{Codish, Michael; Søndergaard, Harald}, The Boolean logic of set sharing analysis, 89-101 [Zbl 0910.68042] \textit{Levi, Giorgio; Volpe, Paolo}, Derivation of proof methods by abstract interpretation, 102-117 [Zbl 0910.68043] \textit{Kesner, Delia; Martínez-López, Pablo E.}, Explicit substitutions for objects and functions, 195-212 [Zbl 0914.03038] \textit{Aoto, Takahito}, Solution to the problem of Zantema on a persistent property of term rewriting systems, 250-265 [Zbl 0910.68104] \textit{Limet, Sébastien; Saubion, Frédéric}, A general framework for \(R\)-unification problems, 266-281 [Zbl 0910.68105] \textit{Lipton, James; McGrail, Robert}, Encapsulating data in logic programming via categorical constraints, 391-410 [Zbl 0947.03045] \textit{Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom}, A hidden Herbrand theorem, 445-462 [Zbl 0926.03034] \textit{Ajili, Farid; Lock, Hendrik C. R.}, Integrating constraint propagation in complete solving of linear diophantine systems, 463-480 [Zbl 0913.11058]