2. Ershov Memorial Conference 1996: Novosibirsk, Russia

Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.): Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Lecture Notes in Computer Science 1181 Springer 1996, ISBN 3-540-62064-8 BibTeX

@proceedings{DBLP:conf/ershov/1996,
  editor    = {Dines Bj{\o}rner and
               Manfred Broy and
               Igor V. Pottosin},
  title     = {Perspectives of System Informatics, Second International Andrei
               Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia,
               June 25-28, 1996, Proceedings},
  booktitle = {Ershov Memorial Conference},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1181},
  year      = {1996},
  isbn      = {3-540-62064-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

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

Programming Methodology

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

Artificial Intelligence

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

Natural Language Processing

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

Machine Learning

Rusins Freivalds, Thomas Zeugmann: Co-Learning of Recursive Languages from Positive Data. 122-133 BibTeX
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 BibTeX

Dataflow and Concurrency Models

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

Parallel Programming

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

Supercompilation

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

Partial Evaluation

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

Object-Oriented Programming

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

Semantics and Abstract Interpretation

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

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 BibTeX
Ton Vullinghs, Wolfram Schulte, Thilo Schwinn: The Design of a Functional GUI Library Using Constructor Classes. 398-408 BibTeX

Logic Programming

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