Structures of Computing A Guide to Practice Oriented Theory 1st Edition by Egon Börger, Vincenzo Gervasi 3031543572 9783031543579

Structures of Computing: A Guide to Practice-Oriented Theory 1st Edition by Egon Börger, Vincenzo Gervasi – Ebook PDF Instant Download/DeliveryISBN:  3031543572, 9783031543579  

Full download Structures of Computing: A Guide to Practice-Oriented Theory 1st Edition after payment.

Product details:

ISBN-10 :  3031543572 

ISBN-13 :  9783031543579

Author:  Egon Börger, Vincenzo Gervasi 

Structures of Computing explains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms, unrestricted by specific computing devices or programming languages. To compute is understood as processing structures by a set of cooperating agents each of which executes an algorithm assigned to it and interacts with the other agents.

Part I of the book defines the conceptual constituents of interactive processes: (i) data, i.e. structured objects with associated properties, relations and functions the algorithmic processes operate upon, (ii) basic operations that affect the data in single execution steps, and (iii) control mechanisms that determine the combination of single steps in multi-agent computations where the interaction happens via communication or other forms of data sharing.

 

Structures of Computing: A Guide to Practice-Oriented Theory 1st Table of contents:

1 Computational Data, Operations, States
1.1 Data and Operations on Data
1.1.1 Naming Objects and Operations (Syntax of Terms)
1.1.2 Generic Notion of States.
1.1.3 Interpretation (Semantics) of Terms in States
1.2 State Properties (Syntax and Semantics of Statements)

2 Logical Structure of State-Change Actions..
2.1 Logical Memory Structure (Locations and Updates).
2.1.1 Interaction Type of Functions and Locations
2.2 Logical Structure of One Step Actions.
2.2.1 Single Agent Algorithmic Steps: Syntax
2.2.2 Single Agent Algorithmic Steps: Semantics
2.3 Domain-Specific One-Step Actions.
2.3.1 Call Step (by Value, by Name) 2.3.2 Workspace Increase Operation
2.4 Core Actions on Structures (Recap)

3 Control Structures of Single-Process Runs
3.1 Definition of Single Process Runs
3.1.1 Relative Computability (Background Concept)
3.2 Sequential Imperative Procedural Program Runs
3.2.1 Imperative Constructs (JAVA)
3.2.2 Procedural Constructs (Class Model JAVAC)
3.3 Input Driven Sequential Runs
3.3.1 Computable Functions (Input/Output Machines)
3.4 Nondeterminism and Interleaving.
3.5 Synchronous Parallel Step Control

4 Dynamic Sequential Step Control.
4.1 Partial Updates of Structured Objects.
4.2 Intuitive Meaning of Reflectivity
4.3 Reflective PGAs
4.4 Backtracking and Reflection (Prolog)
4.4.1 Interpreter for Pure Prolog.
4.4.2 Interpreter for reflective Prolog.
4.5 Reflection in LISP
4.6 Reflective RAM
4.6.1 Reflectivity at Work (Indirect Addressing)
4.7 Reflectivity Styles.
5 Control Structures of Multi-Process Runs
5.1 What are Concurrent Runs
5.2 Communicating Processes
5.2.1 Web Browser Model.
5.3 Concurrency, Communication, Choice (Occam).
5.3.1 Occam Ground Model
5.3.2 Refining Syne to Async Communication
5.3.3 Optimized Communication
5.3.4 Sequential Implementation
5.3.5 Time-Slicing Refinement
5.4 Concurrency, Parameterization, Context Awareness
5.4.1 Context Aware Processes (Ambient ASMS)
5.4.2 From Sequential to Concurrent Runs (Java/C#)
6 Mixed Synchronous/Asynchronous Control Structures
6.1 Bulk Synchronous Parallel (BSP) Control
6.2 Streaming (Data Flow) Control
6.2.1 High-Level Streaming Model
6.2.2 Refined Streaming Variants.
6.2.3 Artificial Neural Network
6.2.4 Spreadsheet Streaming Machine
6.2.5 TCP/IP Streaming in Computer Networks

 

People also search for Structures of Computing: A Guide to Practice-Oriented Theory 1st:

handler’s classification of parallel computing structures
    
types of virtualization structures in cloud computing
    
algorithms and data structures the science of computing
    
state the importance of data structures in computing
    
importance of discrete structures in computing

Tags: Structures, Computing, A Guide, Practice Oriented, Egon Börger, Vincenzo Gervasi