000 01145nmm a22003015u 4500
005 20210225131808.0
008 100409s2006 xx j eng d
020 _a9783540316855
050 0 4 _aQA76.7
_bH46 2006
100 1 _aHentenryck, Pascal.
245 1 0 _aPractical Aspects of Declarative Languages
_h[electronic resource] :
_b8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings /
_cedited by Pascal Hentenryck.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2006.
300 _bv.: digital
490 0 _aLecture Notes in Computer Science,
_v3819
_x0302-9743
650 0 _aComputer science
650 0 _aSoftware engineering
650 0 _aLogic design
650 1 4 _aComputer Science
650 2 4 _aProgramming Languages, Compilers, Interpreters
650 2 4 _aProgramming Techniques
650 2 4 _aLogics and Meanings of Programs
650 2 4 _aSoftware Engineering
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/11603023
942 _2lcc
_cLIE
999 _c20974
_d20974