Invited Talks

Semantics and Laws of Man-Made Infrastucture Systems

Bjorner D.

The Language Lola, FPGAs, and PLDs in Teaching Digital Circuit Design

Wirth N.

Calculating Digital Counters

Dosch W.

Programming Methodology

Generic Programming (invited talk)

Stepanov A. A.

Algebraic Semantics of the Oberon Target Machine

Zamulin A. V.

The Making of Algol 68

Koster C. H. A.

Artificial Intelligence

Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection Machine (invited talk)

Mayoh B.

Application of Subdefinite Models for Solving Constraint Satisfaction Problems

Yakhno T. M.

Petrov E. S.

Problem Solving in the Object-Oriented Technological Environment NeMo+

Telerman V.

Sidorov V.

Ushakov D.

Natural Language Processing

What a Universal Semantic Interlingua Can and Cannot Do (invited talk)

Seuren P. A. M.

Understanding Short Texts with Integration of Knowledge Representation Methods

Kononenko I.

Sharoff S.

Machine Learning

Co-Learning of Recursive Languages from Positive Data

Freivalds R.

Zeugmann T.

Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance

Boutsinas B.

Papadimitriou S.

Pavlides G.

Dataflow and Concurrency Models

Processes in Cause-Effect Structures (invited talk)

Czaja L.

On the Power of Recursion in Dataflow Schemes

Bachmann P.

Derivation of Explicitly Parallel Code from Declarative Program by Transformations

Trichina E.

Parallel Programming

Actors as a Coordinating Model of Computation

Raja N.

Shyamasundar R.K.

An Associative Version of the Prim-Dijkstra Algorithm and its Application to Some Graph Problems

Nepomniaschaya A. S.

Adding Design Strategies to Fork Algebras

Frias M.F.

Baum G.A.

Haeberer A.M.

Supercompliation

Supercompilation: Techniques and Results (invited talk)

Turchin V. F.

Program Transformation with Metasystem Transitions: Experiments with a Supercompiler

Nemytykh A. P.

Pinchuk V. A.

Fast Binding-Time Analysis for Multi-Level Specialization

Gluck R.

Jorgensen J.

Partial Evaluation

BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation

Jones N.D.

Glenstrup A.J.

Polyvariant Expansion and Compiler Generators

Thiemann P.

Sperber M.

The Disjunctive Constrained Lambda Calculus

Mandel L.

Cengarle M.V.

Object-Oriented Programming

Efficient Metaobject Control Using Mediators (invited talk)

Ivannikov V.

Zadorozhny V.

Kossmann R.

Novikov B.

Framework Component Systems: Concepts, Design Heuristics, and Perspectives

Pree W.

Pomberger G.

Kapsner F.

Prototype of a Run-Time Adaptable, Object-Oriented System

Frohlich J.H.

Semantics and Abstract Interpretation

The Tree Equivalence Problem for Linear Recursion Schemes

Sabelfeld V. K.

A Mode Analysis of Logic Programs by Abstract Interpretation

Lu L.

A Semantics-Based Determinacy Analysis for Prolog with Cut

Mogensen T.Æ.

Programming of Graphical Interfaces

Communicating Functional Agents and Their Application to Graphical User Interfaces

Frauenstein T.

Grieskamp W.

Pepper P.

Sudholt M.

The Design of a Functional GUI Library Using Constructor Classes

Vullinghs T.

Schulte W.

Schwinn T.

Logic Programming

Merging Relational Database Technology with Constraint Technology

Voronkov A.

On Homeostatic Behavior of Dynamic Deductive Data Bases

Dekhtyar M.I.

Dikovsky A.Ja.

On Transformations into Linear Database Logic Programs

Afrati F.

Gergatsoulis M.

Katzouraki M.

List of Posters

Author Index