000			02321nam a22005055i 4500
001			u376879
003			SIRSI
005			20160812084435.0
007			cr nn 008mamaa
008			111203s2011 gw | s |||| 0|eng d
020			_a9783642253188 _9978-3-642-25318-8
040			_cMX-MeUAM
050		4	_aQA76.7-76.73
050		4	_aQA76.76.C65
082	0	4	_a005.13 _223
100	1		_aYang, Hongseok. _eeditor.
245	1	0	_aProgramming Languages and Systems _h[recurso electrónico] : _b9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / _cedited by Hongseok Yang.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011.
300			_aXI, 372p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v7078
520			_aThis book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aData protection.
650		0	_aLogic design.
650	1	4	_aComputer Science.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aSoftware Engineering.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aSystems and Data Security.
650	2	4	_aProgramming Techniques.
650	2	4	_aMathematical Logic and Formal Languages.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642253171
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v7078
856	4	0	_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-25318-8
596			_a19
942			_cLIBRO_ELEC
999			_c204759 _d204759