Ein Modell eines Computersystems (Hardware oder Software), das konstruiert wurde, um eine detaillierte und präzise Analyse der Funktionsweise des Computersystems zu ermöglichen. Es besteht normalerweise aus Eingabe, Ausgabe und dem Operationssatz.
Ich suche nach einer Forschungsarbeit oder einer anderen Publikation, die verschiedene abstrakte Maschinen (mehr als eine) für die Ausführung von Prolog mit Prolog-Interpretern vergleicht, die nicht auf abstact-Maschinen basieren. Was ich bisher...
17.05.2014, 13:17