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

Mostrar todas las versiones(2)
Detalles Bibliográficos
Otros autores o Colaboradores: Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.
Formato: Libro
Lengua:inglés
Datos de publicación: Berlín : Springer, c1996
Edición:1a ed.
Series:Lecture notes in computer science 1181
Temas:
PROGRAMACIÓN DE COMPUTADORAS
INTELIGENCIA ARTIFICIAL
PROGRAMACIÓN PARALELA
PROGRAMACIÓN ORIENTADA A OBJETOS
PROGRAMACIÓN LÓGICA
Acceso en línea:Consultar en el Cátalogo
Notas:ISSN 0302-9743 Incluye referencias bibliográficas e índice.
Descripción Física:xvii, 446 p. : il. ; 24 cm.
ISBN:3540620648
Tabla de Contenidos:
  • 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

Ejemplares similares