ENGLISH

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

By Manfred Broy , Tony Hoare (auth.) , Alexandre V. Zamulin (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2003
ISBN
978-3-540-20813-6, 978-3-540-39866-0, 3-540-20813-5
DOI
10.1007/b94823
Language
english
Format
PDF
Filesize
6 MB (6130317 bytes)
Series
Lecture Notes in Computer Science 2890
Edition
1
Pages
572\587
Time added
2014-01-18 08:00:00
CompilersInterpreters; Computation by Abstract DevicesLogics and Meanings of Programs; Programming Techn

Description

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.

Similar books