Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.):
Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers.
Lecture Notes in Computer Science 2244 Springer 2001, ISBN 3-540-43075-X BibTeX
@proceedings{DBLP:conf/ershov/2001,
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Perspectives of System Informatics, 4th International Andrei
Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk,
Russia, July 2-6, 2001, Revised Papers},
booktitle = {Ershov Memorial Conference},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2244},
year = {2001},
isbn = {3-540-43075-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Memorial Session
Computing and Algorithms
Logical Methods
Verification
Program Transformation and Synthesis
- Thorsten Ehm:
Transformational Construction of Correct Pointer Algorithms.
116-130
Electronic Edition (Springer LINK) BibTeX
- Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi:
A Theoretical Foundation of Program Synthesis by Equivalent Transformation.
131-139
Electronic Edition (Springer LINK) BibTeX
- Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi:
Equivalent Transformation by Safe Extension of Data Structures.
140-148
Electronic Edition (Springer LINK) BibTeX
- Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp:
Semantics and Transformations in Formal Synthesis at System Level.
149-156
Electronic Edition (Springer LINK) BibTeX
- Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu:
Automated Program Synthesis for Java Programming Language.
157-164
Electronic Edition (Springer LINK) BibTeX
Semantics & Types
Processes and Concurrency
UML Specification
Petri Nets
Testing
Software Construction
Data & Knowledge Bases
Logic Programming
Constraint Programming
Program Analysis
Language Implementation
Copyright © Sat May 16 23:10:34 2009
by Michael Ley (ley@uni-trier.de)
