Towards Putting Abstract Interpretation of Prolog into Practice

79.00 EUR

Dieses Buch führt durch die Umsetzung abstrakter Interpretation für Prolog, bietet detaillierte Designprinzipien, Implementierungsdetails und Bewertungskriterien zur Verifikation sowie Optimierung von Programmen und zeigt anhand konkreter Fallstudien, wie statische Analysen Fehler frühzeitig erkennen und Laufzeit verbessern können.

Teilen: