000			00733nam a2200193Ia 4500
999			_c5888 _d5888
008			161214s9999 xx 000 0 und d
020			_a3540208135 _cpbk
082			_a004 _bBRO
100			_aBroy, Manfred
245		0	_aPerspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers
260			_aBerlin: _bSpringer, _c2003
300			_axv, 572 p.; _bill., index: _c24 cm.
365			_aINR _b3702.60/ EURO 66.00
440			_v2890
490			_aLecture notes in computer science
520			_aThis book constitutes the thoroughly refereed post conference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and super compilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing
650			_aComputer programming
650			_aNatural language processing
650			_aConstraint programming
650			_aPartial evaluation
650			_aDistributed systems
650			_aReactive systems
650			_aSoftware engineering
650			_aGraphical interfaces
650			_aProgram synthesis
650			_aComputer science
650			_aSystems engineering
700			_aZamulin, Alexandre V.
942			_2ddc _cBK