Lecture Notes in Computer Science

Perspectives of System Informatics

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

Editors: Bjorner, Dines, Broy, Manfred, Pottosin, Igor V. (Eds.)

Free Preview

Buy this book

eBook 74,96 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49637-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-62064-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Table of contents (36 chapters)

  • Semantics and laws of man-made infrastructure systems

    Bjørner, Dines

    Pages 1-1

  • The language lola, FPGAs, and PLDs in teaching digital circuit design

    Wirth, N.

    Pages 2-20

  • Calculating digital counters

    Dosch, Walter

    Pages 21-39

  • Generic programming

    Stepanov, Alexander A.

    Pages 40-40

  • Algebraic semantics of the Oberon target machine

    Zamulin, A. V.

    Pages 41-54

Buy this book

eBook 74,96 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49637-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-62064-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Perspectives of System Informatics
Book Subtitle
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Editors
  • Dines Bjorner
  • Manfred Broy
  • Igor V. Pottosin
Series Title
Lecture Notes in Computer Science
Series Volume
1181
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49637-3
DOI
10.1007/3-540-62064-8
Softcover ISBN
978-3-540-62064-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIX, 453
Topics