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
3540208135, 9783540208136
DOI
10.1007/b94823
LCC
QA75.5 .I5443 2003
Open Library ID
OL3319640M
Language
english
Format
PDF
Filesize
7 MB (7373141 bytes)
Series
Lecture Notes in Computer Science 2890
Edition
1
Pages
572\586
Library
Kolxo3
Time added
2011-01-23 12: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