Processing Recursively Structured Data, Fachbücher von Norbert Pfaffinger

Das Buch "Processing Recursively Structured Data" bietet eine umfassende Einführung in die Verarbeitung von rekursiv strukturierten Daten, die in vielen Programmiersprachen und Datenstrukturen vorkommen. Es behandelt die Herausforderungen, die mit der Handhabung solcher Daten verbunden sind, insbesondere in Bezug auf die Verwendung von rekursiven Funktionsaufrufen und die effiziente Verwaltung von Speicherressourcen. Der Autor, Norbert Pfaffinger, präsentiert einen generischen Ansatz, der es ermöglicht, Manipulationen an rekursiven Datenstrukturen einfach und effizient umzusetzen. Durch die Gewährleistung von Speicher- und Laufzeiteffizienz wird die Verarbeitung von sehr grossen Datenmengen unterstützt. Das Buch enthält praktische Implementierungen und zeigt Anwendungen in der mathematischen Logik, insbesondere bei der Transformation von bekannten Aufgaben der Wissensrepräsentation und des Schliessens. Es ist ein wertvolles Werk für Fachleute und Studierende, die sich mit der Programmierung und dem Umgang mit komplexen Datenstrukturen beschäftigen.