This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.

Produktinformation

Utgivningsdatum:1996-12-04
Mått:216 x 279 x 26 mm
Vikt:709 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:453
Upplaga:1996
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540620648

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Semantics and laws of man-made infrastructure systems.- The language lola, FPGAs, and PLDs in teaching digital circuit design.- Calculating digital counters.- Generic programming.- Algebraic semantics of the Oberon target machine.- The making of Algol 68.- Artificial life and pollution control: Explorations of a genetic algorithm system on the highly parallel connection machine.- Application of subdefinite models for solving constraint satisfaction problems.- Problem solving in the object-oriented technological environment NeMo+.- What a universal semantic interlingua can and cannot do.- Understanding short texts with integration of knowledge representation methods.- Co-learning of recursive languages from positive data.- Automatic analysis, verification and synthesis of rule-based real-time decision making systems with machine learning assistance.- Processes in cause-effect structures.- On the power of recursion in dataflow Schemes.- Derivation of explicitly parallel code from declarative program by transformations.- Actors as a coordinating model of computation (extended abstract).- An associative version of the Prim-Dijkstra algorithm and its application to some graph problems.- Adding design strategies to fork algebras.- Supercompilation: Techniques and results.- Program transformation with metasystem transitions: Experiments with a supercompiler.- Fast binding-time analysis for multi-level specialization.- BTA Algorithms to ensure termination of off-line partial evaluation.- Polyvariant expansion and compiler generators.- The disjunctive constrained lambda calculus.- Efficient metaobject control using mediators.- Framework component systems: Concepts, design heuristics, and perspectives.- Prototype of a run-time actaptable, object-oriented system.- The tree equivalence problem for linear recursion schemes.- A mode analysis of logic programs by abstract interpretation.- A semantics-based determinacy analysis for prolog with cut.- Communicating functional agents and their application to graphical user interfaces.- The design of a functional GUI library using constructor classes.- Merging relational database technology with constraint technology.- On homeostatic behavior of dynamic deductive data bases.- On transformations into linear database logic programs.

Mer från samma författare

Domain Science and Engineering

Dines Bjørner

Inbunden, 2021

1 924 kr

Domain Science and Engineering

Dines Bjørner

Häftad, 2022

1 924 kr

VDM '87. VDM - A Formal Method at Work

Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold

Häftad, 1987

572 kr

Software Engineering 1

Dines Bjørner

Inbunden, 2005

1 135 kr

Software Engineering 2

Dines Bjørner

Inbunden, 2006

571 kr

Software Engineering 3

Dines Bjørner

Inbunden, 2006

1 135 kr

Perspectives of System Informatics

Dines Bjørner, Manfred Broy, Alexandre Zamulin

Häftad, 2001

571 kr

VDM '90. VDM and Z - Formal Methods in Software Development

Dines Bjørner, C.A.R. Hoare, Hans Langmaack

Häftad, 1990

571 kr

Baltic Computer Science

Janis Barzdins, Dines Bjørner

Häftad, 1991

1 135 kr

Formal Methods in Programming and Their Applications

Dines Bjørner, Manfred Broy, Igor V. Pottosin

Häftad, 1993

571 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Perspectives of System Informatics

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin

Häftad, 2000

1 135 kr

Perspectives of System Informatics

Dines Bjørner, Manfred Broy, Alexandre Zamulin

Häftad, 2001

571 kr

Formal Methods in Programming and Their Applications

Dines Bjørner, Manfred Broy, Igor V. Pottosin

Häftad, 1993

571 kr

NMR Spectroscopy and its Application to Biomedical Research

S.K. Sarkar

E-bok

1996

3 629 kr

Progress in Zeolite and Microporous Materials

Y.S. Uh, S.-K. Ihm, H. Chon

E-bok

1996

6 887 kr

Software Engineering 1

Dines Bjørner

Häftad, 2010

966 kr

Beyond Communitarianism

Demaine +. Entwistle, J. Demaine, H. Entwistle

Inbunden, 1996

1 102 kr

Del 7

Phänomenologie und logischer Empirismus

Friedrich Stadler

Häftad, 1996

519 kr

Software Engineering 2

Dines Bjørner

Häftad, 2010

571 kr

Perspectives of System Informatics

Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

AvDines Bjørner,Manfred Broy

Häftad, Engelska, 1996

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

571 kr

571 kr

1 135 kr

571 kr

Beskrivning

Produktinformation

Utgivningsdatum:1996-12-04
Mått:216 x 279 x 26 mm
Vikt:709 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:453
Upplaga:1996
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540620648

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Semantics and laws of man-made infrastructure systems.- The language lola, FPGAs, and PLDs in teaching digital circuit design.- Calculating digital counters.- Generic programming.- Algebraic semantics of the Oberon target machine.- The making of Algol 68.- Artificial life and pollution control: Explorations of a genetic algorithm system on the highly parallel connection machine.- Application of subdefinite models for solving constraint satisfaction problems.- Problem solving in the object-oriented technological environment NeMo+.- What a universal semantic interlingua can and cannot do.- Understanding short texts with integration of knowledge representation methods.- Co-learning of recursive languages from positive data.- Automatic analysis, verification and synthesis of rule-based real-time decision making systems with machine learning assistance.- Processes in cause-effect structures.- On the power of recursion in dataflow Schemes.- Derivation of explicitly parallel code from declarative program by transformations.- Actors as a coordinating model of computation (extended abstract).- An associative version of the Prim-Dijkstra algorithm and its application to some graph problems.- Adding design strategies to fork algebras.- Supercompilation: Techniques and results.- Program transformation with metasystem transitions: Experiments with a supercompiler.- Fast binding-time analysis for multi-level specialization.- BTA Algorithms to ensure termination of off-line partial evaluation.- Polyvariant expansion and compiler generators.- The disjunctive constrained lambda calculus.- Efficient metaobject control using mediators.- Framework component systems: Concepts, design heuristics, and perspectives.- Prototype of a run-time actaptable, object-oriented system.- The tree equivalence problem for linear recursion schemes.- A mode analysis of logic programs by abstract interpretation.- A semantics-based determinacy analysis for prolog with cut.- Communicating functional agents and their application to graphical user interfaces.- The design of a functional GUI library using constructor classes.- Merging relational database technology with constraint technology.- On homeostatic behavior of dynamic deductive data bases.- On transformations into linear database logic programs.

Mer från samma författare

Domain Science and Engineering

Dines Bjørner

Inbunden, 2021

1 924 kr

Domain Science and Engineering

Dines Bjørner

Häftad, 2022

1 924 kr

VDM '87. VDM - A Formal Method at Work

Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold

Häftad, 1987

572 kr

Software Engineering 1

Dines Bjørner

Inbunden, 2005

1 135 kr

Software Engineering 2

Dines Bjørner

Inbunden, 2006

571 kr

Software Engineering 3

Dines Bjørner

Inbunden, 2006

1 135 kr

Perspectives of System Informatics

Dines Bjørner, Manfred Broy, Alexandre Zamulin

Häftad, 2001

571 kr

VDM '90. VDM and Z - Formal Methods in Software Development

Dines Bjørner, C.A.R. Hoare, Hans Langmaack

Häftad, 1990

571 kr

Baltic Computer Science

Janis Barzdins, Dines Bjørner

Häftad, 1991

1 135 kr

Formal Methods in Programming and Their Applications

Dines Bjørner, Manfred Broy, Igor V. Pottosin

Häftad, 1993

571 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051