Programming Language Implementation and Logic Programming

This volume contains the proceedings of the Fifth
International Symposium onProgramming Language
Implementation and Logic Programming (PLILP '93), held in
Tallinn, Estonia, in August 1993. The series of PLILP
symposiums was established to promote contacts and
information exchange among scientists who share common
interests in declarative programming techniques, logic
programming, and programming languages imnplementation.
Researchers from the fields of algorithmic programming
languages as well as logic, functional, object-oriented, and
constraint programming constitute the audience of PLILP.
The volume contains three invited talks and 24 selected
contributed papers grouped intoparts on: integration of
different paradigms, constraint programming, staticanalysis
and abstract interpretation, grammars, narrowing,
parallelism, and implementation techniques. The volume
closes with six abstracts of systems demonstrations and
posters.