Ein praxisnahes Handbuch, das die abstrakte Interpretation in Prolog Schritt für Schritt umsetzt – mit neuen Designkonzepten, Implementierungsstrategien und Evaluationsansätzen zur Verifikation und Optimierung von Programmen.