2. Ershov Memorial Conference 1996: Novosibirsk, Russia

Invited Talks

• Dines Bjørner:
  Semantics and Laws of Man-Made Infrastucture Systems (Abstract). 1
  
• Niklaus Wirth:
  The Language Lola, FPGAs and PLDs in Teaching Digital Circuit Design. 2-20
  
• Walter Dosch:
  Calculating Digital Counters. 21-39
  

Programming Methodology

• Alexander A. Stepanov:
  Generic Programming (Abstract). 40
  
• Alexandre V. Zamulin:
  Algebraic Semantics of the Oberon Target Machine. 41-54
  
• Cornelis H. A. Koster:
  The Making of Algol 68. 55-67
  

Artificial Intelligence

• Brian H. Mayoh:
  Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection Machine. 68-79
  
• Tatyana M. Yakhno, Evgueni S. Petrov:
  Application of Subdefinite Models for Solving Constraint Satisfaction Problems. 80-90
  
• Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov:
  Problem Solving in the Object-Oriented Technological Environment NeMo+. 91-100
  

Natural Language Processing

• Pieter A. M. Seuren:
  What a Universal Semantic Interlingua Can and Cannot Do. 101-110
  
• Irina Kononenko, Serge Sharoff:
  Understanding Short Texts with Integration of Knowledge Representation Methods. 111-121
  

Machine Learning

• Rusins Freivalds, Thomas Zeugmann:
  Co-Learning of Recursive Languages from Positive Data. 122-133
  
• Basilis Boutsinas, Stergios Papadimitriou, Georgios Pavlides:
  Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance. 134-145
  

Dataflow and Concurrency Models

• Ludwik Czaja:
  Process in Cause-Effect Structures. 146-165
  
• Peter Bachmann:
  On the Power of Recursion in Dataflow Schemes. 166-177
  
• Elena Trichina:
  Derivation of Explicitly Parallel Code from Declarative Program by Transformations. 178-190
  

Parallel Programming

• N. Raja, R. K. Shyamasundar:
  Actors as a Coordinating Model of Computation (Extended Abstract). 191-202
  
• A. S. Nepomniaschaya:
  An Associative Version of the Prim-Dijkstra Algorithm and Its Application to Some Graph Problems. 203-213
  
• Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer:
  Adding Design Strategies to Fork Algebras. 214-226
  

Supercompilation

• Valentin F. Turchin:
  Supercompilation: Techniques and Results. 227-248
  
• Andrei P. Nemytykh, Victoria A. Pinchuk:
  Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. 249-260
  
• Robert Glück, Jesper Jørgensen:
  Fast Binding-Time Analysis for Multi-Level Specialization. 261-272
  

Partial Evaluation

• Arne J. Glenstrup, Neil D. Jones:
  BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation. 273-284
  
• Peter Thiemann, Michael Sperber:
  Polyvariant Expansion and Compiler Generators. 285-296
  
• Luis Mandel, María Victoria Cengarle:
  The Disjunctive Constrained Lambda Calculus. 297-309
  

Object-Oriented Programming

• Victor Ivannikov, Vladimir Zadorozhny, Rainer Kossmann, Boris Novikov:
  Efficient Metaobject Control Using Mediators. 310-329
  
• Wolfgang Pree, Gustav Pomberger:
  Framework Component Systems: Concepts, Design Heuristics, and Perspectives. 330-340
  
• Joachim Hans Fröhlich:
  Prototype of a Run-Time Adaptable, Object-Oriented System. 341-349
  

Semantics and Abstract Interpretation

• Viktor K. Sabelfeld:
  The Tree Equivalence Problem for Linear Recursion Schemes. 350-361
  
• Lunjin Lu:
  A Mode Analysis of Logic Programs by Abstract Interpretation. 362-373
  
• Torben Æ. Mogensen:
  A Semantics-Based Determinacy Analysis for Prolog with Cut. 374-385
  

Programming of Graphical Interfaces

• Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt:
  Communicating Functional Agents and Their Application to Graphical User Interfaces. 386-397
  
• Ton Vullinghs, Wolfram Schulte, Thilo Schwinn:
  The Design of a Functional GUI Library Using Constructor Classes. 398-408
  

Logic Programming

• Andrei Voronkov:
  Merging Relational Database Technology with Constraint Technology. 409-419
  
• Michael I. Dekhtyar, Alexander Ja. Dikovsky:
  On Homeostatic Behavior of Dynamic Deductive Data Bases. 420-432
  
• Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki:
  On Transformations into Linear Database Logic Programs. 433-444