PEARL-Coded Function Block Diagrams — From Language Design to Verification
Article in IFAC-PapersOnLine (January 2015)
The most recent citing publication is shown below. View this citation on Dimensions.
Funktionale Programmierung
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Das Strittigste vorab: Notationen
-
Altmetric BadgeChapter 2 Grundlagen der Funktionalen Programmierung
-
Altmetric BadgeChapter 3 Faulheit währt unendlich
-
Altmetric BadgeChapter 4 Parser als Funktionen höherer Ordnung
-
Altmetric BadgeChapter 5 Gruppen: Die Basis der Modularisierung
-
Altmetric BadgeChapter 6 Operatoren auf Gruppen (Morphismen)
-
Altmetric BadgeChapter 7 Typen
-
Altmetric BadgeChapter 8 Subtypen (Vererbung)
-
Altmetric BadgeChapter 9 Polymorphe und abhängige Typen
-
Altmetric BadgeChapter 10 Spezifikationen und Typklassen: Wie Typen typisiert werden
-
Altmetric BadgeChapter 11 Beispiel: Berechnung von Fixpunkten
-
Altmetric BadgeChapter 12 Beispiel: Monaden
-
Altmetric BadgeChapter 13 Netter stack und böse Queue
-
Altmetric BadgeChapter 14 Compilertechniken für funktionale Datenstrukturen
-
Altmetric BadgeChapter 15 Funktionale Arrays und Numerische Mathematik
-
Altmetric BadgeChapter 16 Map: Wenn Funktionen zu Daten werden
-
Altmetric BadgeChapter 17 Beispiel: Synthese von Programmen
-
Altmetric BadgeChapter 18 Zeit und Zustand in der funktionalen Welt
-
Altmetric BadgeChapter 19 Objekte und Ein-/Ausgabe
-
Altmetric BadgeChapter 20 Agenten und Prozesse
-
Altmetric BadgeChapter 21 Graphische Schnittstellen (GUIs)
-
Altmetric BadgeChapter 22 Massiv parallele Programme
-
Altmetric BadgeChapter 23 Integration von Konzepten anderer Programmierparadigmen