Research Catalog

Title

Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings / Dines Bjørner, Manfred Broy, Igor V. V. Pottosin (eds.).

Author

International Andrei Ershov Memorial Conference (2nd : 1996 : Akademgorodok, Novosibirsk, Russia)

Publication

Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Bjørner, D. (Dines), 1937-
• Broy, M., 1949-
• Pottosin, I. V.

Description

xvii, 446 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1181

Uniform Title

Lecture notes in computer science ; 1181.

Subjects

• Computer science > Congresses
• Ershov, A. P (Andreĭ Petrovich) > Congresses
• Systems engineering > Congresses
• Computer programming > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Semantics and Laws of Man-Made Infrastructure Systems / D. Bjorner -- The Language Lola, FPGAs, and PLDs in Teaching Digital Circuit Design / N. Wirth -- Calculating Digital Counters / W. Dosch -- Generic Programming / A. A. Stepanov -- Algebraic Semantics of the Oberon Target Machine / A. V. Zamulin -- The Making of Algol 68 / C. H. A. Koster -- Artificial Life and Pollution Control: Explorations of a Genetic Algorithm System on the Highly Parallel Connection Machine / B. Mayoh -- Application of Subdefinite Models for Solving Constraint Satisfaction Problems / T. M. Yakhno and E. S. Petrov -- Problem Solving in the Object-Oriented Technological Environment NeMo+ / V. Telerman, V. Sidorov and D. Ushakov -- What a Universal Semantic Interlingua Can and Cannot Do / P. A. M. Seuren -- Understanding Short Texts with Integration of Knowledge Representation Methods / I. Kononenko and S. Sharoff -- Co-Learning of Recursive Languages from Positive Data / R. Freivalds and T. Zeugmann --
• Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance / B. Boutsinas, S. Papadimitriou and G. Pavlides -- Processes in Cause-Effect Structures / L. Czaja -- On the Power of Recursion in Dataflow Schemes / P. Bachmann -- Derivation of Explicitly Parallel Code from Declarative Program by Transformations / E. Trichina -- Actors as a Coordinating Model of Computation / N. Raja and R. K. Shyamasundar -- An Associative Version of the Prim-Dijkstra Algorithm and its Application to Some Graph Problems / A. S. Nepomniaschaya -- Adding Design Strategies to Fork Algebras / M. F. Frias, G. A. Baum and A. M. Haeberer -- Supercompilation: Techniques and Results / V. F. Turchin -- Program Transformation with Metasystem Transitions: Experiments with a Supercompiler / A. P. Nemytykh and V. A. Pinchuk -- Fast Binding-Time Analysis for Multi-Level Specialization / R. Gluck and J. Jorgensen --
• BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation / N. D. Jones and A. J. Glenstrup -- Polyvariant Expansion and Compiler Generators / P. Thiemann and M. Sperber -- The Disjunctive Constrained Lambda Calculus / L. Mandel and M. V. Cengarle -- Efficient Metaobject Control Using Mediators / A. Ivannikov, V. Zadorozhny, R. Kossmann and B. Novikov -- Framework Component Systems: Concepts, Design Heuristics, and Perspectives / W. Pree, G. Pomberger and F. Kapsner -- Prototype of a Run-Time Adaptable, Object-Oriented System / J. H. Frohlich -- The Tree Equivalence Problem for Linear Recursion Schemes / V. K. Sabelfeld -- A Mode Analysis of Logic Programs by Abstract Interpretation / L. Lu -- A Semantics-Based Determinacy Analysis for Prolog with Cut / T. AE. Mogensen -- Communicating Functional Agents and Their Application to Graphical User Interfaces / T. Frauenstein, W. Crieskamp, P. Pepper and M. Sudholt --
• The Design of a Functional GUI Library Using Constructor Classes / T. Vullinghs, W. Schulte and T. Schwinn -- Merging Relational Database Technology with Constraint Technology / A. Voronkov -- On Homeostatic Behavior of Dynamic Deductive Data Bases / M. I. Dekhtyar and A. Ja. Dikovsky -- On Transformations into Linear Database Logic Programs / F. Afrati, M. Cergatsoulis and M. Katzouraki.

ISBN

3540620648 (pbk. : alk. paper)

LCCN

96050358

OCLC

ocm35990366

Owning Institutions

Columbia University Libraries