utzverlag

Wolfram Kahl: Algebraische Termgraphersetzung mit gebundenen Variablen

Wolfram Kahl

Algebraische Termgraphersetzung mit gebundenen Variablen

Thema des Buches sind Termgraphen, in denen auch Variablenbindung und mehrfaches Vorkommen von Variablen auf originelle Weise explizit, elegant und mit größter Allgemeinheit formalisiert sind. Nach ausführlicher Diskussion geeigneter Homomorphiebegriffe wird der algebraische Ersetzungsansatz des doppelten Pushouts zur Anwendbarkeit auf unsere Termgraphen um eine neue Variante bereichert, den »fibrierten Ansatz«, der auch um seiner selbst willen Interesse verdient. Ergebnisse sind die erste algebraische Charakterisierung der Graphreduktion sowie eine Erweiterung der Ausdruckskraft des algebraischen Termgraphersetzungsansatzes auf Ersetzungssysteme zweiter Stufe, und zwar sogar auf zyklischen Termgraphen, insgesamt also eine theoretische Fundierung für Implementierungen von funktionalen Programmiersprachen, Programmtransformationssystemen und anderen Symbolmanipulationssystemen.

  • broschiert: 160 Seiten
    Format: 20,5 x 14,5
    ISBN 978-3-931327-60-6

    48,98 € (Preisbindung aufgehoben)

    vergriffen

Ähnliche Bücher

  • Josef Adersberger: Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen

    Josef Adersberger

    Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen

    Diese Arbeit beschreibt und evaluiert die TraceML, eine Modellierungssprache für Traceability-Informationen. Traceability ist der Grad, in dem Zusammenhänge zwischen Erzeugnissen im Entwicklungsprozess von Software verfolgt werden können. Die Erhebung und Verarbeitung von Traceability-Informationen hilft dabei, die Komplexität moderner Softwareentwicklung besser zu beherrschen und diese damit...

  • Karl R. Brendel: Parallele oder sequentielle Simulationsmethode?

    Karl R. Brendel

    Parallele oder sequentielle Simulationsmethode?

    In Industrie und Wissenschaft sind parallele und verteilte Computersysteme schon seit vielen Jahren im Einsatz. Trotzdem werden heute vor allem im Bereich der Sozialwissenschaften fast alle existierenden Simulationsprogramme in einer sequentiellen Art und Weise auf Einprozessorsystemen ausgeführt.

  • Daniel Motus: Referenzmodell für die Montageplanung in der Automobilindustrie

    Daniel Motus

    Referenzmodell für die Montageplanung in der Automobilindustrie

    Die Montageplanung stellt eine Kernkompetenz der deutschen Automobilindustrie dar. Hier wird der Grundstein für die flexible, effiziente und marktfähige Produktion gelegt. Der Wettbewerbsvorteil der Informationstechnologiebereiche bei den OEMs liegt aus diesem Grund in der Unterstützung der wertschöpfenden Geschäftsprozesse und den dazu notwendigen Geschäftsobjekten.