Semantics and Laws of Man-Made Infrastucture Systems / Bjørner D.
The Language Lola, FPGAs, and PLDs in Teaching Digital Circuit Design / Wirth N.
Calculating Digital Counters / Dosch W.
Generic Programming / Stepanov A. A.
Algebraic Semantics of the Oberon Target Machine / Zamulin A. V.
The Making of Algol 68 / Koster C. H. A.
Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection Machine / 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.
What a Universal Semantic Interlingua Can and Cannot Do / Seuren P. A. M.
Understanding Short Texts with Integration of Knowledge Representation Methods / Kononenko L, Sharoff S.
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.
Processes in Cause-Effect Structures / Czaja L.
On the Power of Recursion in Dataflow Schemes / Bachmann P.
Derivation of Explicitly Parallel Code from Declarative Program by Transformations / Trichina E.
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.
Supercompilation: Techniques and Results / 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 / Gliick R., Jcrgensen J.
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.
Efficient Metaobject Control Using Mediators / 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 / Fröhlich J.H.
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. Æ
Communicating Functional Agents and Their Application to Graphical User Interfaces / Frauenstein T., Grieskamp W., Pepper P., Südholt M.
The Design of a Functional GUI Library Using Constructor Classes / Vullinghs T., Schulte W., Schwinn T.
Merging Relational Database Technology with Constraint Technology / Voronkov A.
On Homeostatic Behavior of Dynamic Deductive Data Bases / Dekhtyar M.L, Dikovsky A.Ja
On Transformations into Linear Database Logic Programs / Afrati F., Gergatsoulis M., Katzouraki M.
List of Posters
Author Index