ENGLISH

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

By Donald Sannella (auth.) , Manfred Broy , Dines Bjøner , Alexandre V. Zamulin (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2000
ISBN
978-3-540-67102-2, 978-3-540-46562-1
DOI
10.1007/3-540-46562-6
Language
english
Format
PDF
Filesize
12 MB (12995826 bytes)
Series
Lecture Notes in Computer Science 1755
Edition
1
Pages
540\551
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Programming Techniques; Software EngLogics and Meanings of Programs; Programming Langu

Description

This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers presented together with five revised full invited papers were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on algebraic specifications, partial evaluation and super compilation, specification with states, concurrency and parallelism, logic and processes, languages and software, database programming, object-oriented programming, constraint programming, model checking and program checking, and artificial intelligence.

Similar books