Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
operational semantics
Definitie
Vertaling van "operational semantics" in Duits
Definitie NEW
operationale Semantik
operationelle Semantik
operationalen Semantik
operationaler Semantik
We pursue a contrary approach, gearing operational semantics more towards traditional strict functional, imperative or object-oriented languages.
Hier wird ein entgegengesetzter Ansatz verfolgt, der die operationale Semantik enger an traditionelle strikt funktionale, imperative oder objektorientierte Sprachen anlehnt.
In order to obtain a detailed description of the possible system runs, we relate each model to an operational semantics in the form of process terms.
Um eine detaillierte Beschreibung der in einem System möglichen Abläufe zu erhalten, ordnen wir jedem Spezifikationsmodell eine operationale Semantik in Form von Prozesstermen zu.
This thesis describes how to identify, create, and execute process fragments without losing the operational semantics of the original process models.
Diese Dissertation beschreibt, wie Fragmente in Geschäftsprozessen identifiziert, erstellt und ausgeführt werden können, ohne die operationale Semantik des Originalprozesses zu verlieren.
An operational semantics for ordered and unordered types is given based on specialized regular tree automata and counting constraints (them again based on Presburger arithmetic formulae).
Eine operationale Semantik für geordnete wie ungeordnete Typen wird auf Basis spezialisierter Baumautomaten und sog. Counting Constraints (welche wiederum auf presburgerarithmetische Ausdrücke) basieren.
We show the soundness of our Abstract Representation with respect to the operational semantics.
Wir zeigen die Korrektheit unserer Abstract Representation in Bezug auf die operationale Semantik.
Operational Semantics: the formalization by a collection of reduction rules that map the initial state of a program to its final state.
Operationale Semantik: die Formalisierung durch eine Sammlung von Reduktionsregeln, die den Anfangszustand eines Programms in seinen Endzustand überführen.
An operational semantics for the parallel evaluation of expressions of this language is defined in the form of the term rewrite rules.
Eine operative Semantik für die parallele Evaluierung von Ausdrücken dieser Sprache wird in der Form des Begriffs der Überschreibungsregeln definiert.
Proof of the equivalence of denotational and operational semantics of a simple imperative language; proof of soundness of its axiomatic semantics with respect to its denotational semantics.
Beweis der Äquivalenz von denotationaler und operationaler Semantik einer einfachen imperativen Programmiersprache; Beweis der Korrektheit der axiomatischen Semantik anhand der denotationalen Semantik.
Finally, I develop a new graphical meta-language and meta-tool for describing the operational semantics of computer languages.
Schlussendlich, entwickle ich eine graphische Metasprache und Metawerkzeug zur Beschreibung von operationaler Semantik von Computersprachen.
Following a detailed analysis of the technical constraints, we define a virtual machine as operational semantics for supporting the presented methods in a programming language.
Nach detaillierter Analyse der technischen Randbedingungen wird ein operationales Semantikmodell für die sprachseitige Unterstützung der entwickelten Verfahren in Form einer virtuellen Maschine definiert.
However, MOF lacks concepts for the definition of operational semantics and there is no support for dynamic model analysis based on the semantics and abstract states of a language definition.
Um Modellsimulation und dynamische Analysen für metamodellbasierte Sprachen zu unterstützen, fehlt es an einem Kalkül zur operationalen Semantik.
Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics.
Er ist für die Einführung der Strukturellen Operationellen Semantik (SOS, auch Small Step Semantics) in die Theorie der Programmiersprachen bekannt.
The most successful coalgebraic approach so far lead to the development of the language Charity that employs category-theoretic constructs for both denotational and operational semantics.
Der bisher erfolgreichste coalgebraische Ansatz führte zur Entwicklung der Sprache Charity, die sowohl in denotationeller als auch operationaler Semantik auf kategorientheoretische Konstrukte zurückgreift.
Synoniemen voor operational semantics in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 27. Exact: 27. Verstreken tijd: 30 ms.
