000			02149cam a22003377a 4500
001			vtls000001855
003			VRT
005			20250102222428.0
008			081111s2006 gw a |b 101 0 eng d
020			_a354033095X (pbk.)
024	3		_a9783540330950
039		9	_a201402040059 _bVLOAD _c201010101251 _dmalmash _c200811171118 _dvenkatrajand _c200811111125 _dNoora _y200811111123 _zNoora
050	0	0	_aQA76.6 _b.E976 2006
111	2		_aEuropean Symposium on Programming _n(15th : _d2006 : _cVienna, Austria) _91257
245	1	0	_aProgramming Languages and Systems : _b15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : Proceedings / _cPeter Sestoft (ed.).
246	3	0	_a15th European Symposium on Programming
246	3		_aFifteenth European Symposium on Programming
246	3	0	_aEuropean Symposium on Programming
246	3	0	_aESOP 2006
246	3	0	_aJoint European Conferences on Theory and Practice of Software
246	3	0	_aETAPS 2006
246	1		_iAdded cover title: _aEuropean Joint Conferences on Theory and Practice of Software
260			_aBerlin ; _aNew York : _bSpringer, _c2006.
300			_axii, 341 p. : _bill. ; _c24 cm.
440		0	_aLecture notes in computer science, _v3924 _9767
504			_aIncludes bibliographical references and index.
520			_aThis book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world.
650		0	_aComputer programming _91258
650		0	_aProgramming languages (Electronic computers) _91259
942			_2lcc _n0 _cBK
999			_c364 _d364