Perspectives of System Informatics

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Semantics and laws of man-made infrastructure systems
3. Altmetric Badge
   Chapter 2 The language lola, FPGAs, and PLDs in teaching digital circuit design
4. Altmetric Badge
   Chapter 3 Calculating digital counters
5. Altmetric Badge
   Chapter 4 Generic programming
6. Altmetric Badge
   Chapter 5 Algebraic semantics of the Oberon target machine
7. Altmetric Badge
   Chapter 6 The making of Algol 68
8. Altmetric Badge
   Chapter 7 Artificial life and pollution control: Explorations of a genetic algorithm system on the highly parallel connection machine
9. Altmetric Badge
   Chapter 8 Application of subdefinite models for solving constraint satisfaction problems
10. Altmetric Badge
    Chapter 9 Problem solving in the object-oriented technological environment NeMo+
11. Altmetric Badge
    Chapter 10 What a universal semantic interlingua can and cannot do
12. Altmetric Badge
    Chapter 11 Understanding short texts with integration of knowledge representation methods
13. Altmetric Badge
    Chapter 12 Co-learning of recursive languages from positive data
14. Altmetric Badge
    Chapter 13 Automatic analysis, verification and synthesis of rule-based real-time decision making systems with machine learning assistance
15. Altmetric Badge
    Chapter 14 Processes in cause-effect structures
16. Altmetric Badge
    Chapter 15 On the power of recursion in dataflow Schemes
17. Altmetric Badge
    Chapter 16 Derivation of explicitly parallel code from declarative program by transformations
18. Altmetric Badge
    Chapter 17 Actors as a coordinating model of computation (extended abstract)
19. Altmetric Badge
    Chapter 18 An associative version of the Prim-Dijkstra algorithm and its application to some graph problems
20. Altmetric Badge
    Chapter 19 Adding design strategies to fork algebras
21. Altmetric Badge
    Chapter 20 Supercompilation: Techniques and results
22. Altmetric Badge
    Chapter 21 Program transformation with metasystem transitions: Experiments with a supercompiler
23. Altmetric Badge
    Chapter 22 Fast binding-time analysis for multi-level specialization
24. Altmetric Badge
    Chapter 23 BTA Algorithms to ensure termination of off-line partial evaluation
25. Altmetric Badge
    Chapter 24 Polyvariant expansion and compiler generators
26. Altmetric Badge
    Chapter 25 The disjunctive constrained lambda calculus
27. Altmetric Badge
    Chapter 26 Efficient metaobject control using mediators
28. Altmetric Badge
    Chapter 27 Framework component systems: Concepts, design heuristics, and perspectives
29. Altmetric Badge
    Chapter 28 Prototype of a run-time actaptable, object-oriented system
30. Altmetric Badge
    Chapter 29 The tree equivalence problem for linear recursion schemes
31. Altmetric Badge
    Chapter 30 A mode analysis of logic programs by abstract interpretation
32. Altmetric Badge
    Chapter 31 A semantics-based determinacy analysis for prolog with cut
33. Altmetric Badge
    Chapter 32 Communicating functional agents and their application to graphical user interfaces
34. Altmetric Badge
    Chapter 33 The design of a functional GUI library using constructor classes
35. Altmetric Badge
    Chapter 34 Perspectives of System Informatics
36. Altmetric Badge
    Chapter 35 On homeostatic behavior of dynamic deductive data bases
37. Altmetric Badge
    Chapter 36 On transformations into linear database logic programs