Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Semantics and laws of man-made infrastructure systems....Pages 1-1
The language lola, FPGAs, and PLDs in teaching digital circuit design....Pages 2-20
Calculating digital counters....Pages 21-39
Generic programming....Pages 40-40
Algebraic semantics of the Oberon target machine....Pages 41-54
The making of Algol 68....Pages 55-67
Artificial life and pollution control: Explorations of a genetic algorithm system on the highly parallel connection machine....Pages 68-79
Application of subdefinite models for solving constraint satisfaction problems....Pages 80-90
Problem solving in the object-oriented technological environment NeMo+....Pages 91-100
What a universal semantic interlingua can and cannot do....Pages 101-110
Understanding short texts with integration of knowledge representation methods....Pages 111-121
Co-learning of recursive languages from positive data....Pages 122-133
Automatic analysis, verification and synthesis of rule-based real-time decision making systems with machine learning assistance....Pages 134-145
Processes in cause-effect structures....Pages 146-165
On the power of recursion in dataflow Schemes....Pages 166-177
Derivation of explicitly parallel code from declarative program by transformations....Pages 178-190
Actors as a coordinating model of computation (extended abstract)....Pages 191-202
An associative version of the Prim-Dijkstra algorithm and its application to some graph problems....Pages 203-213
Adding design strategies to fork algebras....Pages 214-226
Supercompilation: Techniques and results....Pages 227-248
Program transformation with metasystem transitions: Experiments with a supercompiler....Pages 249-260
Fast binding-time analysis for multi-level specialization....Pages 261-272
BTA Algorithms to ensure termination of off-line partial evaluation....Pages 273-284
Polyvariant expansion and compiler generators....Pages 285-296
The disjunctive constrained lambda calculus....Pages 297-309
Efficient metaobject control using mediators....Pages 310-329
Framework component systems: Concepts, design heuristics, and perspectives....Pages 330-340
Prototype of a run-time actaptable, object-oriented system....Pages 341-349
The tree equivalence problem for linear recursion schemes....Pages 350-361
A mode analysis of logic programs by abstract interpretation....Pages 362-373
A semantics-based determinacy analysis for prolog with cut....Pages 374-385
Communicating functional agents and their application to graphical user interfaces....Pages 386-397
The design of a functional GUI library using constructor classes....Pages 398-408
Merging relational database technology with constraint technology....Pages 409-419
On homeostatic behavior of dynamic deductive data bases....Pages 420-432
On transformations into linear database logic programs....Pages 433-444