000			03031nam a22005535i 4500
001			978-3-642-15331-0
003			DE-He213
005			20140220084545.0
007			cr nn 008mamaa
008			100907s2010 gw | s |||| 0|eng d
020			_a9783642153310 _9978-3-642-15331-0
024	7		_a10.1007/978-3-642-15331-0 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
100	1		_aEekelen, Marko. _eeditor.
245	1	0	_aFoundational and Practical Aspects of Resource Analysis _h[electronic resource] : _bFirst International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers / _cedited by Marko Eekelen, Olha Shkaravska.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
300			_a170p. 35 illus. _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 ; _v6324
505	0		_aFOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis for Hume -- A Space Consumption Analysis by Abstract Interpretation -- Global and Local Space Properties of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination -- Static Complexity Analysis of Higher Order Programs -- Derivational Complexity Is an Invariant Cost Model -- A Local Criterion for Polynomial-Time Stratified Computations -- Non-deterministic Boolean Proof Nets -- Polynomial Time Computation in the Context of Recursive Analysis.
520			_aThis book constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. The 10 revised full papers were carefully reviewed and selected from 13 research presentation contributions and one invited lecture.
650		0	_aComputer science.
650		0	_aComputer Communication Networks.
650		0	_aSoftware engineering.
650		0	_aComputer software.
650		0	_aLogic design.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aComputer Communication Networks.
650	2	4	_aAlgorithm Analysis and Problem Complexity.
650	2	4	_aProgramming Techniques.
700	1		_aShkaravska, Olha. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642153303
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6324
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-15331-0
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c112623 _d112623