In this thesis, in order to close this gap, we present a modelling framework for communication platforms and scenarios that is an integration of Petri net, algebraic data type, process and graph transformation techniques.
Um diese Lücke zu schließen, stellen wir in dieser Dissertation ein Modellierungsframework für Kommunikationsplattformen und Szenarien vor, welches durch die Verknüpfung von Petrinetzen, algebraischen Datentypen, Prozessen und Graphtransformation entsteht.
Andere resultaten
In a functional programming language, one would use an algebraic data-type for the same purpose.
In einer funktionalen Sprache würde man algebraische Datentypen mit dem gleichen Ziel verwenden.
Features of ML include a call-by-value evaluation strategy, first-class functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching, and exception handling.
Zu den mächtigsten Merkmalen dieser Sprache gehört statische Typisierung (in Verbindung mit Typinferenz), parametrische Polymorphie, Pattern Matching, ein Mechanismus zur Ausnahmebehandlung und automatische Speicherbereinigung.
Features of ML include a call-by-value evaluation strategy, first-class functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching, and exception handling.
Wichtige Merkmale von SML sind unter anderem die statische Typisierung, Polymorphie auf Funktions- und Datentypsebene, automatische Speicherbereinigung sowie strenge Auswertung und Ausnahmebehandlung. Außerdem unterstützt SML Funktionen höherer Ordnung, Module und sogenannte Funktoren, die hier parametrisierte Datentypen bezeichnen.
Scala has things like immutability by default and algebraic data types, which go a long way in being able to reason about the current state of your system, and how adding new things (such as new contract types) change your system.
Scala hat Dinge wie 'immutabilty by default' und algebraische Datentypen, die weit reichen, um den gegenwärtigen Zustand deines Systems zu beurteilen und wie das Hinzufügen neuer Dinge (wie neue Contract-Typen) dein System verändern.
Features of ML include a call-by-value evaluation strategy, first-class functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching, and exception handling.
Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung.
Algebraic specification of abstract data types | IfIS: Institute for Information Systems at Technische Universität Braunschweig Home Teaching
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen | IfIS: Institute for Information Systems at Technische Universität Braunschweig
LinAlg provides data types and operations for algebraic vectors and matrices.
LinAlg stellt Datentypen und Operationen für algebraische Vektoren und Matrizen zur Verfügung.
Method for data type casting and algebraic manipulation in a scene description of audio-visual objects
Methode zur Datentypumwandlung und algebraischen Grössenänderung in Szenenbeschreibungen für audio-visuelle Objekte
We implemented a complex compare that handles multiple data types.
Wir haben einen komplexen Vergleich implementiert, der mehrere Datentypen verarbeitet.
The maximum permissible value of M depends on the data type.
Der maximal zulässige Wert für M hängt vom jeweiligen Datentyp ab.
References are not compatible with elementary data types or aggregated types.
Referenzen sind nicht kompatibel zu elementaren Datentypen oder zu aggregierten Typen.
Some data types can even be zoomed by multitouch on the tablet.
Einige Datentypen sind durch Multitouch auf dem Tablet sogar zoombar.