Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings

ISSN 0302-9743 Incluye referencias bibliográficas e índice.

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