LEADER 06241nam 22007455 450 001 996465974703316 005 20200704162752.0 010 $a3-540-49637-8 024 7 $a10.1007/3-540-62064-8 035 $a(CKB)1000000000234572 035 $a(SSID)ssj0000325614 035 $a(PQKBManifestationID)11230913 035 $a(PQKBTitleCode)TC0000325614 035 $a(PQKBWorkID)10323972 035 $a(PQKB)11276230 035 $a(DE-He213)978-3-540-49637-3 035 $a(PPN)155180193 035 $a(EXLCZ)991000000000234572 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPerspectives of System Informatics$b[electronic resource] $eSecond International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings /$fedited by Dines Bjørner, Manfred Broy, Igor V. Pottosin 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XIX, 453 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1181 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-62064-8 327 $aSemantics and laws of man-made infrastructure systems -- The language lola, FPGAs, and PLDs in teaching digital circuit design -- Calculating digital counters -- Generic programming -- Algebraic semantics of the Oberon target machine -- The making of Algol 68 -- Artificial life and pollution control: Explorations of a genetic algorithm system on the highly parallel connection machine -- Application of subdefinite models for solving constraint satisfaction problems -- Problem solving in the object-oriented technological environment NeMo+ -- What a universal semantic interlingua can and cannot do -- Understanding short texts with integration of knowledge representation methods -- Co-learning of recursive languages from positive data -- Automatic analysis, verification and synthesis of rule-based real-time decision making systems with machine learning assistance -- Processes in cause-effect structures -- On the power of recursion in dataflow Schemes -- Derivation of explicitly parallel code from declarative program by transformations -- Actors as a coordinating model of computation (extended abstract) -- An associative version of the Prim-Dijkstra algorithm and its application to some graph problems -- Adding design strategies to fork algebras -- Supercompilation: Techniques and results -- Program transformation with metasystem transitions: Experiments with a supercompiler -- Fast binding-time analysis for multi-level specialization -- BTA Algorithms to ensure termination of off-line partial evaluation -- Polyvariant expansion and compiler generators -- The disjunctive constrained lambda calculus -- Efficient metaobject control using mediators -- Framework component systems: Concepts, design heuristics, and perspectives -- Prototype of a run-time actaptable, object-oriented system -- The tree equivalence problem for linear recursion schemes -- A mode analysis of logic programs by abstract interpretation -- A semantics-based determinacy analysis for prolog with cut -- Communicating functional agents and their application to graphical user interfaces -- The design of a functional GUI library using constructor classes -- Merging relational database technology with constraint technology -- On homeostatic behavior of dynamic deductive data bases -- On transformations into linear database logic programs. 330 $aThis book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1181 606 $aComputers 606 $aSoftware engineering 606 $aComputer logic 606 $aMathematical logic 606 $aArtificial intelligence 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 676 $a005.1 702 $aBjørner$b Dines$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBroy$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPottosin$b Igor V$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Andrei Ershov Memorial Conference 906 $aBOOK 912 $a996465974703316 996 $aPerspectives of system informatics$91487606 997 $aUNISA LEADER 03944nam 2200709Ia 450 001 9910966731203321 005 20200520144314.0 010 $a9780791484135 010 $a0791484130 010 $a9781423739623 010 $a1423739620 035 $a(CKB)1000000000458422 035 $a(OCoLC)62756904 035 $a(CaPaEBR)ebrary10579033 035 $a(SSID)ssj0000158881 035 $a(PQKBManifestationID)11946930 035 $a(PQKBTitleCode)TC0000158881 035 $a(PQKBWorkID)10171357 035 $a(PQKB)10914227 035 $a(OCoLC)62347915 035 $a(MdBmJHUP)muse6213 035 $a(Au-PeEL)EBL3407610 035 $a(CaPaEBR)ebr10579033 035 $a(OCoLC)923407181 035 $a(DE-B1597)681962 035 $a(DE-B1597)9780791484135 035 $a(MiAaPQ)EBC3407610 035 $a(Perlego)2672318 035 $a(EXLCZ)991000000000458422 100 $a20040116d2004 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aFrom motherhood to mothering $ethe legacy of Adrienne Rich's Of woman born /$fedited by Andrea O'Reilly 205 $a1st ed. 210 $aAlbany $cState University of New York Press$dc2004 215 $a1 online resource (262 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780791462881 311 08$a0791462889 311 08$a9780791462874 311 08$a0791462870 320 $aIncludes bibliographical references and index. 327 $aIntro -- From Motherhood to Mothering -- Contents -- Acknowledgments -- Introduction ANDREA O'REILLY -- PART ONE: Motherhood as Institution Patriarchal Power and Maternal Outrage -- 1. The Supreme Court of Canada and What It Means to Be "Of Woman Born" DIANA GINN -- 2. Of Party-State Born: Motherhood, Reproductive Politics, and the Chinese Nation-State SARAH E. STEVENS -- 3. Murderous Mothers: Adrienne Rich's Of Woman Born and Toni Morrison's Beloved EMILY JEREMIAH -- PART TWO: Mothering as Experience: Empowerment and Resistance -- 4. "We Have Mama but No Papa" Motherhood in Women-Centered Societies MARIA-BARBARA WATSON-FRANKE -- 5. Mother as Transformer: Strategic Symbols of Matrilineage Recuperation in Princess Pocahontas and the Blue Spots DANNABANG KUWABONG -- 6. Of Woman (but Not Man or the Nuclear Family) Born: Motherhood Outside Institutionalized Heterosexuality KATE McCULLOUGH -- 7. Feminist Mothers: Successfully Negotiating the Tension between Motherhood as "Institution" and "Experience" FIONA JOY GREEN -- 8. Immortality and Morality in Contemporary Reworkings of the Demeter/Persephone Myth KARIN VOTH HARMAN -- 9. Mothering against Motherhood and the Possibility of Empowered Maternity for Mothers and Their Children ANDREA O'REILLY -- 10. The Broken Shovel: Looking Back from Postmaternity at Co-Parenting MARGARET MORGANROTH GULLETTE -- PART THREE: Narrating Maternity: Writing as a Mother -- 11. Adrienne Rich's "Clearing in the Imagination": Of Woman Born as Literary Criticism D'ARCY RANDALL -- 12. A "Sense of Drift": Adrienne Rich's Emergence from Mother to Poet JEANNETTE E. RILEY -- 13. Beginning with "I": The Legacy of Adrienne Rich's Of Woman Born ANN KENISTON -- Contributors -- INDEX -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- R -- S -- T -- U -- V -- W -- Y -- Z. 330 $aExplores how Rich's work has influenced feminist scholarship on motherhood. 606 $aMotherhood 606 $aFeminist theory 606 $aMotherhood in literature 615 0$aMotherhood. 615 0$aFeminist theory. 615 0$aMotherhood in literature. 676 $a306.874/3 701 $aO'Reilly$b Andrea$f1961-$0918095 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910966731203321 996 $aFrom motherhood to mothering$94366644 997 $aUNINA