Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... (Lecture Notes in Computer Science, 1755)

This text 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. This Volume Comprises The Papers Presented At The Third International Andrei Ershov Memorial Conference \perspectives Of System Informatics, Akadem- Rodok (novosibirsk, Russia), July 6{9, 1999. The Main Goal Of The Conference Was To Give An Overview Of Research Directions Which Are Decisive For The Growth Of Major Areas Of Research Activities In System Informatics. The Conference Was The Third One In The Line. The R St And Second Inter- Tionalconferences\perspectivesofsysteminformaticswereheldinnovosibirsk, Akademgorodok, In May, 1991, And June, 1996, Respectively. Both Conferences Gathered A Wide Spectrum Of Specialists And Were Undoubtedly Very Successful. The Third Conferenceincluded Many Of The Subjects Of The Second Conference, Such As Theoretical Computer Science, Programming Methodology, New Infor- Tiontechnologies,andthepromising Eldofarti Cialintelligence|asimportant Components Of System Informatics. The Style Of The Second Conference Was P- Served To A Certain Extent In That There Were A Considerable Number Of Invited Papers In Addition To The Contributed Papers. However,posters Were Replaced By Short Talks Mainly Given By Young Researchers. The Common Framework Initiative For Algebraic Specification And Development Of Software / D. Sannella -- A Logical Approach To Specification Of Hybrid Systems / M.v. Korovina And O.v. Kudinov -- Algebraic Imperative Specifications / M.-c. Gaudel And A. Zamulin -- Enhanced Control Flow Graphs In Montages / M. Anlauff, Ph. W. Kutter And A. Pierantonio / [and Others] -- Abstract State Machines For The Composition Of Architectural Styles / A. Sunbul -- The Essence Of Program Transformation By Partial Evaluation And Driving / N.d. Jones -- Binding-time Analysis In Partial Evaluation: One Size Does Not Fit All / N.h. Christensen, R. Gluck And S. Laursen. Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.). Includes Bibliographical References And Index. 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 The papers in this volume 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; and many more. Algebraic specification is one of the most extensively-developed approaches in the formal methods area.