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.
Author(s): Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Series: Lecture Notes in Computer Science 1181
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 453
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Artificial Intelligence (incl. Robotics)
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
