Lecture Notes in Computer Science
© 2003
Perspectives of Systems Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Editors: Broy, Manfred, Zamulin, Alexandre V. (Eds.)
Free PreviewBuy this book
- Table of contents (55 chapters)
-
-
The Verifying Compiler: A Grand Challenge for Computing Research
Pages 1-12
-
Linear Types for Cashflow Reengineering
Pages 13-21
-
Storing Properties in Grouped Tagged Tuples
Pages 22-29
-
A Polymorphic Radix-n Framework for Fast Fourier Transforms
Pages 30-36
-
Intersecting Classes and Prototypes
Pages 37-45
-
Table of contents (55 chapters)
Read this book on SpringerLink
- Download Preface 1 PDF (52.7 KB)
- Download Table of contents PDF (64.3 KB)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Perspectives of Systems Informatics
- Book Subtitle
- 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
- Editors
-
- Manfred Broy
- Alexandre V. Zamulin
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 2890
- Copyright
- 2003
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-39866-0
- DOI
- 10.1007/b94823
- Softcover ISBN
- 978-3-540-20813-6
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- XIII, 572
- Topics