( en | de | ru )

 

Disambiguierung von "Mosses, Peter D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Semantics of Programming Languages: -- An Overview --

. Electronic Notes in Theoretical Computer Science, 148 (1): 41--73 (Februar 2006)
DOI: 10.1016/j.entcs.2005.12.012

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Daniel Mosses

Peter D. Cook

Peter -D Schmid-Schischke

D Böttger

D Bartels

 

Weitere Publikationen von Autoren mit dem selben Namen

CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. Lecture Notes in Computer Science Springer, (2004)The Use of Sorts in Algebraic Specifications.. COMPASS/ADT, Volume 655 von Lecture Notes in Computer Science, Seite 66-92. Springer, (1991)Unified Algebras and Abstract Syntax.. COMPASS/ADT, Volume 785 von Lecture Notes in Computer Science, Seite 280-294. Springer, (1992)A Basic Abstract Semantic Algebra.. Semantics of Data Types, Volume 173 von Lecture Notes in Computer Science, Seite 87-107. Springer, (1984)Executable component-based semantics., , und . J. Log. Algebraic Methods Program., (2019)Pragmatics of Modular SOS.. AMAST, Volume 2422 von Lecture Notes in Computer Science, Seite 21-40. Springer, (2002)ASD: The Action Semantic Description Tools., und . AMAST, Volume 1101 von Lecture Notes in Computer Science, Seite 579-582. Springer, (1996)Deriving Pretty-Big-Step Semantics from Small-Step Semantics., und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 270-289. Springer, (2014)Engineering meta-languages for specifying software languages (keynote).. SLE, Seite 1. ACM, (2017)Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic., , , und . AMAST, Volume 1816 von Lecture Notes in Computer Science, Seite 407-421. Springer, (2000)