dblp.uni-trier.de www.uni-trier.de

5. Ershov Memorial Conference 2003: Novosibirsk, Russia

Manfred Broy, Alexandre V. Zamulin (Eds.): Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Lecture Notes in Computer Science 2890 Springer 2003, ISBN 3-540-20813-5 BibTeX

Programming Issues

Software Engineering

Software Education

Program Synthesis, Transformation, and Semantics

Graphical Interfaces

Partial Evaluation and Supercompilation


Logic and Types

Concurrent and Distributed Systems

Concurrent and Reacitive Systems

Program Specification

Verification and Model Checking

Constraint Programming

Documentation and Testing


Natural Language Processing

Copyright © Sat May 16 23:10:35 2009 by Michael Ley (ley@uni-trier.de)