Open AccessBook
Outline of a Mathematical Theory of Computation
Reads0
Chats0
TLDR
However, Scott does realize that the approach argued for above is simply an argument for an approach that accomodates human understanding of computation and that the operational approach must not be ignored because the machines that the programs of study run on are not capable of dealing with such an abstract level of understanding.Abstract:
However, Scott does realize that the approach argued for above is simply an argument for an approach that accomodates human understanding of computation and that the operational approach must not be ignored because, as he points out, the machines that the programs of study run on are not capable of dealing with such an abstract level of understanding. That is, the computaional approach should not be abandoned because the machines that we build operate on that lower level.read more
Citations
More filters
Book ChapterDOI
Funktionales Programmieren - Programmieren mit Funktionalen
TL;DR: Neue Trends in der Entwicklung von Programmiersprachen, in der Programmiermethodik and beim Entwurf neuartiger Maschinenarchitekturen sprechen von einer Abkehr vom zuweisungsorientierten, vom sequentiellen Speicher gepragten Programmstil, dem Stil der prozeduralen Programm nicerung.
Proceedings ArticleDOI
The assignment axiom and programming language design
TL;DR: The effect of using the assignment rule of Hoare as such a criterion on the design of procedure-oriented, block-structured programming languages is investigated.
Book ChapterDOI
Fixpoints in Complete Partial Orders
Jacques Loeckx,Kurt Sieber +1 more
TL;DR: In the previous chapter operational semantics for various programming languages were introduced: the meaning MF(S) of a program S (in an interpretation F) was defined algorithmically, namely with help of computation sequences.
Journal ArticleDOI
Algebraic Specification of Parallel Systems Based on Binary Relations between Events
TL;DR: A new algebraic model is proposed for operational behavior of parallel systems and syntax and formal semantics of a specification language based on it are presented.