Programming Language Implementation and Logic Programming

Improving control of logic programs by using functional logic languages.- Independent AND-parallel implementation of narrowing.- Binding techniques and garbage collection for OR-parallel CLP systems.- Path analysis for lazy data structures.- Why the occur-check is not a problem.- Incremental evaluation of natural semantics specifications.- Subsumption-oriented Push-Down Automata.- Unlimp uniqueness as a leitmotiv for implementation.- Using cached functions and constructors for incremental attribute evaluation.- Strictness analysis for attribute grammars.- Checking and debugging of two-level grammars.- On safe folding.- Unfold/fold transformations preserving termination properties.- A technique for transforming logic programs by fold-unfold transformations.- FOLON: An environment for declarative construction of logic programs.- A complete indexing scheme for WAM-based abstract machines.- Fast prolog with a VAM1p based Prolog compiler.- Metastructures vs. attributed variables in the context of extensible unification.- Comparing the Galois connection and widening/narrowing approaches to abstract interpretation.- Derivation of linear size relations by abstract interpretation.- Generic abstract interpretation algorithms for prolog: Two optimization techniques and their experimental evaluation.- A bottom-up interpreter for a higher-order logic programming language.- Camel: An extension of the categorical abstract machine to compile functional/logic programs.- On the interaction of lazy evaluation and backtracking.- Interprocedural dynamic slicing.- Algorithmic debugging for lazy functional languages.- A general trace query mechanism based on Prolog.- Fully declarative logic programming.- Our LIPS are sealed: Interfacing functional and logic programming systems.- Analyses of inconsistency for incremental equational logic programming.- I/O trees and interactive lazy functional programming.- UCG-E: An equational logic programming system.- A relational programming system with

Prof. Dr. Martin Wirsing ist Leiter des Lehrstuhls für Programmierung und Software-Technik des Instituts für Informatik der LMU München und Vizepräsident der LMU für den Bereich Studium.