Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Amir Pnueli, Irina Virbitskaite, Andrei Voronkov
Springer Science & Business Media, Feb 8, 2010 - Computers - 426 pages
This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies. PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931–1988),and to a signi?cant date in the history of computer science in the country, namely, the 50th anniversary of the Programming - partment founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities. The ?rst signi?cant project of the department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet c- puterM-20. Later,theresearchersofthedepartmentcreatedtheAlgibr,Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. The list of their achievements also includes the ?rst Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in arti?cial intelligence and parallel programming, integrated tools for text processing and publishing, and many others.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
Abstract algorithm analysis anti-uniﬁcation application approach AspectJ behaviour BoxQL called CLS+ cluster Computer conﬁguration CPN Tools database debugging deﬁned deﬁnition denote device drivers diagrams diﬀerent domain drivers eﬀect eﬃcient embedded systems encoding event example execution expression ﬁnite ﬁrst ﬂow formal formula function Heidelberg I0.Type ideal identiﬁers IEEE implementation initial interactions interface invariant Java JDWP kernel language Linux LNCS logic machine method metric spaces model checking model programs module NetBeans nodes object OPC UA P-solvable loop parameters partial evaluation Petri Nets pointcut polynomial POSIX prime ideals problem properties protocol queries reﬁnement relations requirements rules Section semantic network Semantic Web simulation sn sv source code speciﬁc Springer static Stochastic structure subset supercompilation techniques test suite Theorem transition update values variables veriﬁcation Virbitskaite Voronkov