Abstract is missing.
- Semantics and Laws of Man-Made Infrastucture Systems (Abstract)Dines Bjørner. 1
- The Language Lola, FPGAs and PLDs in Teaching Digital Circuit DesignNiklaus Wirth. 2-20
- Calculating Digital CountersWalter Dosch. 21-39
- Generic Programming (Abstract)Alexander A. Stepanov. 40
- Algebraic Semantics of the Oberon Target MachineAlexandre V. Zamulin. 41-54
- The Making of Algol 68Cornelis H. A. Koster. 55-67
- Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection MachineBrian H. Mayoh. 68-79
- Application of Subdefinite Models for Solving Constraint Satisfaction ProblemsTatyana M. Yakhno, Evgueni S. Petrov. 80-90
- Problem Solving in the Object-Oriented Technological Environment NeMo+Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov. 91-100
- What a Universal Semantic Interlingua Can and Cannot DoPieter A. M. Seuren. 101-110
- Understanding Short Texts with Integration of Knowledge Representation MethodsIrina Kononenko, Serge Sharoff. 111-121
- Co-Learning of Recursive Languages from Positive DataRusins Freivalds, Thomas Zeugmann. 122-133
- Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning AssistanceBasilis Boutsinas, Stergios Papadimitriou, Georgios Pavlides. 134-145
- Process in Cause-Effect StructuresLudwik Czaja. 146-165
- On the Power of Recursion in Dataflow SchemesPeter Bachmann. 166-177
- Derivation of Explicitly Parallel Code from Declarative Program by TransformationsElena Trichina. 178-190
- Actors as a Coordinating Model of Computation (Extended Abstract)N. Raja, R. K. Shyamasundar. 191-202
- An Associative Version of the Prim-Dijkstra Algorithm and Its Application to Some Graph ProblemsA. S. Nepomniaschaya. 203-213
- Adding Design Strategies to Fork AlgebrasMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. 214-226
- Supercompilation: Techniques and ResultsValentin F. Turchin. 227-248
- Program Transformation with Metasystem Transitions: Experiments with a SupercompilerAndrei P. Nemytykh, Victoria A. Pinchuk. 249-260
- Fast Binding-Time Analysis for Multi-Level SpecializationRobert Glück, Jesper Jørgensen. 261-272
- BTA Algorithms to Ensure Termination of Off-Line Partial EvaluationArne J. Glenstrup, Neil D. Jones. 273-284
- Polyvariant Expansion and Compiler GeneratorsPeter Thiemann, Michael Sperber. 285-296
- The Disjunctive Constrained Lambda CalculusLuis Mandel, María Victoria Cengarle. 297-309
- Efficient Metaobject Control Using MediatorsVictor Ivannikov, Vladimir Zadorozhny, Rainer Kossmann, Boris Novikov. 310-329
- Framework Component Systems: Concepts, Design Heuristics, and PerspectivesWolfgang Pree, Gustav Pomberger. 330-340
- Prototype of a Run-Time Adaptable, Object-Oriented SystemJoachim Hans Fröhlich. 341-349
- The Tree Equivalence Problem for Linear Recursion SchemesViktor K. Sabelfeld. 350-361
- A Mode Analysis of Logic Programs by Abstract InterpretationLunjin Lu. 362-373
- A Semantics-Based Determinacy Analysis for Prolog with CutTorben Æ. Mogensen. 374-385
- Communicating Functional Agents and Their Application to Graphical User InterfacesThomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt. 386-397
- The Design of a Functional GUI Library Using Constructor ClassesTon Vullinghs, Wolfram Schulte, Thilo Schwinn. 398-408
- Merging Relational Database Technology with Constraint TechnologyAndrei Voronkov. 409-419
- On Homeostatic Behavior of Dynamic Deductive Data BasesMichael I. Dekhtyar, Alexander Ja. Dikovsky. 420-432
- On Transformations into Linear Database Logic ProgramsFoto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki. 433-444