Publisher's Synopsis
Papers organized under ten subject headings address topics in term rewriting; algorithmic programming; constraint logic programming; logic programming; static analysis; functional programming; abstract interpretation; implementation of pattern matching; and integration of logic programming and functional programming. No index. Annotation copyright