Perspectives of System Informatics

1. Front Matter

   PDF

2. Semantics and laws of man-made infrastructure systems

   • Dines Bjørner

   Pages 1-1

3. The language lola, FPGAs, and PLDs in teaching digital circuit design

   • N. Wirth

   Pages 2-20

4. Calculating digital counters

   • Walter Dosch

   Pages 21-39

5. Generic programming

   • Alexander A. Stepanov

   Pages 40-40

6. Algebraic semantics of the Oberon target machine

   • A. V. Zamulin

   Pages 41-54

7. The making of Algol 68

   • C. H. A. Koster

   Pages 55-67

8. Artificial life and pollution control: Explorations of a genetic algorithm system on the highly parallel connection machine

   • Brian Mayoh

   Pages 68-79

9. Application of subdefinite models for solving constraint satisfaction problems

   • Yakhno T. M., Petrov E. S.

   Pages 80-90

10. Problem solving in the object-oriented technological environment NeMo+

    • Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov

    Pages 91-100

11. What a universal semantic interlingua can and cannot do

    • Pieter A. M. Seuren

    Pages 101-110

12. Understanding short texts with integration of knowledge representation methods

    • Irina Kononenko, Serge Sharoff

    Pages 111-121

13. Co-learning of recursive languages from positive data

    • Rusins Freivalds, Thomas Zeugmann

    Pages 122-133

14. Automatic analysis, verification and synthesis of rule-based real-time decision making systems with machine learning assistance

    • Basilis Boutsinas, Stergios Papadimitriou, Georgios Pavlides

    Pages 134-145

15. Processes in cause-effect structures

    • Ludwik Czaja

    Pages 146-165

16. On the power of recursion in dataflow Schemes

    • Peter Bachmann

    Pages 166-177

17. Derivation of explicitly parallel code from declarative program by transformations

    • Elena Trichina

    Pages 178-190

18. Actors as a coordinating model of computation (extended abstract)

    • N. Raja, R. K. Shyamasundar

    Pages 191-202

19. An associative version of the Prim-Dijkstra algorithm and its application to some graph problems

    • A. S. Nepomniaschaya

    Pages 203-213

20. Adding design strategies to fork algebras

    • Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer

    Pages 214-226

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.
The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.

• Processing
• artificial intelligence
• intelligence
• learning
• logic
• machine learning
• object-oriented programming
• programming
• semantics

Policies and ethics