LEADER 05342nam 22007335 450 001 996465856503316 005 20200704212056.0 010 $a3-540-70674-7 024 7 $a10.1007/3-540-61739-6 035 $a(CKB)1000000000234525 035 $a(SSID)ssj0000326886 035 $a(PQKBManifestationID)11244010 035 $a(PQKBTitleCode)TC0000326886 035 $a(PQKBWorkID)10298433 035 $a(PQKB)10255720 035 $a(DE-He213)978-3-540-70674-8 035 $a(PPN)155216953 035 $a(EXLCZ)991000000000234525 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aStatic Analysis$b[electronic resource] $eThird International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings /$fedited by Radhia Cousot, David A. Schmidt 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (X, 398 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1145 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61739-6 327 $aConstraint-based program analysis -- Semantics-directed program analysis: A tool-maker's perspective -- Property-oriented expansion -- Generalized dominators for structured programs -- Cache behavior prediction by abstract interpretation -- Termination analysis for offline partial evaluation of a higher order functional language -- Proving correctness of Constraint Logic Programs with dynamic scheduling -- Understanding mobile agents via a non-interleaving semantics for facile -- Termination analysis for partial functions -- A freeness and sharing analysis of logic programs based on a pre-interpretation -- Refinement types for program analysis -- A comparison of three occur-check analysers -- Analysis of the equality relations for the program terms -- An even faster solver for general systems of equations -- Inferring program specifications in polynomial-time -- Automated modular termination proofs for real Prolog programs -- Data-flow-based virtual function resolution -- Compiling laziness using projections -- Optimized algorithms for incremental analysis of logic programs -- Tractable constraints in finite semilattices -- Uniformity for the decidability of hybrid automata -- A backward slicing algorithm for Prolog -- Combining slicing and constraint solving for validation of measurement software -- Subtyping constrained types -- Abstract cofibered domains: Application to the alias analysis of untyped programs -- Stan: A static analyzer for CLP({ie383-01}) based on abstract interpretation -- Two applications of an incremental analysis engine for (constraint) logic programs -- PAN ? The Prolog analyzer. 330 $aThis book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP. The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1145 606 $aSoftware engineering 606 $aComputers 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.13/1 702 $aCousot$b Radhia$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchmidt$b David A$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Static Analysis Symposium 906 $aBOOK 912 $a996465856503316 996 $aStatic Analysis$9772085 997 $aUNISA LEADER 02180ojm 2200253z- 450 001 9910148927603321 005 20230912161814.0 010 $a0-00-759636-7 035 $a(CKB)3710000000923475 035 $a(BIP)049364895 035 $a(EXLCZ)993710000000923475 100 $a20231107c2014uuuu -u- - 101 0 $aeng 200 10$aMy Mam Shirley (Tales of the Notorious Hudson Family, Book 3) 210 $cHarperCollins UK 330 8 $aPreviously published as My Mam Shirley.Behind the notorious Hudson men who dominated the Canterbury Estate for over 30 years were the girls, and my mam Shirley.The third instalment of this gritty series recounts the incredible stories of the unflinching women behind the legendary Hudson family.The Canterbury Estate in Bradford during the '50s and '60s was a tight-knit community reared on poverty, crime and violence, and at the top of the heap were the infamous Hudson family. But it wasn't just the boys who had a story to tell: from matriarch Annie, who gave birth to 13 children, to daughters Margaret and Eunice, who married up and out, each had a personality as indomitable as the last.Then came Shirley Read, who was just 17 when she fell in love with Keith, one of the Hudson lads. To Shirley, the only child of affluent parents, the poverty of the unruly estate was as exciting as it was mysterious; newspapers for tablecloths, jam jars for cups, and, even by that time, no electricity. But it was a friendship forged with Annie and June, the younger Hudson sisters, that would teach Shirley not only to how to survive, Canterbury-style, but would also give her the strength to overcome an unexpected personal tragedy that would soon become a nightmare for women across the world...Eye-opening and warm, this is the vivid account of the 'Tucker' girls; the resourceful women at the helm of a notorious Bradford family who will never be forgotten. 517 $aMy Mam Shirley 676 $a942.817082092 700 $aShaw$b Julie$01449955 702 $aMillea$b Jim$4oth 906 $aAUDIO 912 $a9910148927603321 996 $aMy Mam Shirley (Tales of the Notorious Hudson Family, Book 3)$93648710 997 $aUNINA LEADER 00781nam0-2200253 --450 001 9910513910503321 005 20241205135158.0 010 $a978-88-590-2082-0 100 $a20220103d2020----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $aLingua, cultura e integrazione$el'impatto dell'obbligatorietà della formazione linguistica e civica nei processi migratori$fC. Regalia ... [et al.] 210 $aTrento$cErickson$d2020 215 $a140 p.$d21 cm 676 $a450.71$v23$zita 702 1$aRegalia,$bCamillo 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910513910503321 952 $a458 REGA 01$b2021/2239$fFLFBC 959 $aFLFBC 996 $aLingua, cultura e integrazione$92567073 997 $aUNINA