03653nam 22007332 450 991045027700332120151005020623.01-107-12473-51-280-95577-50-511-35128-30-511-04194-20-511-15550-60-511-56145-80-511-60604-40-511-04461-5(CKB)1000000000006216(EBL)202306(OCoLC)475917546(SSID)ssj0000119287(PQKBManifestationID)11133322(PQKBTitleCode)TC0000119287(PQKBWorkID)10058200(PQKB)10051894(UkCbUP)CR9780511606045(MiAaPQ)EBC202306(Au-PeEL)EBL202306(CaPaEBR)ebr10040861(CaONFJC)MIL95577(EXLCZ)99100000000000621620090910d2002|||| uy| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierCensus and identity the politics of race, ethnicity, and language in national census /edited by David I. Kertzer and Dominique Arel[electronic resource]Cambridge :Cambridge University Press,2002.1 online resource (xi, 210 pages) digital, PDF file(s)New perspectives on anthropological and social demography ;1Title from publisher's bibliographic system (viewed on 05 Oct 2015).0-521-00427-6 0-521-80823-5 Includes bibliographical references and index.Censuses, identity formation, and the struggle for political power / David I. Kertzer, Dominique Arel -- Racial categorization and censuses / Melissa Nobles -- Ethnic categorizations in censuses : comparative observations from Israel, Canada, and the United States / Calvin Goldscheider -- Language categories in censuses : backward- or forward-looking? / Dominique Arel -- Resistance to identity categorization in France / Alain Blum -- On counting, categorizing, and violence in Burundi and Rwanda / Peter Uvin -- Identity counts : the Soviet legacy and the census in Uzbekistan / David Abramson.The Politics of Race, Ethnicity and Language in National Censuses examines the ways that states have attempted to pigeon-hole the people within their boundaries into racial, ethnic, and language categories. These attempts, whether through American efforts to divide the US population into mutually exclusive racial categories, or through the Soviet system of inscribing nationality categories on internal passports, have important implications not only for people's own identities and life chances, but for national political and social processes as well. The book reviews the history of these categorizing efforts by the state, and offers a theoretical context for examining them, illustrating the case with studies from a range of countries.New perspectives on anthropological and social demography ;1.Census & IdentityCensusRaceCase studiesEthnicityCase studiesLinguistic demographyCase studiesCensus.RaceEthnicityLinguistic demography306.2Kertzer David I.1948-Arel Dominique1947-UkCbUPUkCbUPBOOK9910450277003321Census and identity1899654UNINA05061nam 2200457 450 99646445140331620231110220320.03-030-98869-4(MiAaPQ)EBC6921855(Au-PeEL)EBL6921855(CKB)21393292300041(PPN)261518224(EXLCZ)992139329230004120221018d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogic-based program synthesis and transformation 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, proceedings /edited by Emanuele De Angelis, Wim VanhoofCham, Switzerland :Springer,[2022]©20221 online resource (186 pages)Lecture Notes in Computer Science ;v.13290Print version: De Angelis, Emanuele Logic-Based Program Synthesis and Transformation Cham : Springer International Publishing AG,c2022 9783030988685 Includes bibliographical references and index.Intro -- Preface -- Organization -- Contents -- String Abstract Domains and Their Combination -- 1 Introduction -- 2 Preliminaries -- 3 String Abstract Domains -- 3.1 Programming Language Agnostic String Abstract Domains -- 3.2 Language Specific String Domains -- 3.3 Regular Expression-Like Domains -- 3.4 The Class of Regular Languages as an Abstract Domain RL -- 4 Widening -- 5 Combining Domains -- 5.1 Direct Products -- 5.2 Reduced Products -- 5.3 Paraphrasing: Translating Approximate Information -- 5.4 One-on-One Paraphrasing -- 6 Reference Abstract Domains -- 7 Conclusion -- References -- Data Type Inference for Logic Programming -- 1 Introduction -- 2 Types -- 2.1 Semantics -- 2.2 Closed Types -- 3 Examples -- 4 Type System -- 5 Type Inference -- 5.1 Stratification -- 5.2 Constraints and Constraint Generation -- 5.3 Constraint Solving -- 5.4 Decidability -- 5.5 Soundness -- 6 Related Work -- 7 Final Remarks -- References -- Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines -- 1 Introduction -- 2 Interpreters and the Meta-language -- 3 Transformation -- 3.1 Administrative Normal Form -- 3.2 Control-Flow Analysis -- 3.3 Selective CPS Transformation -- 3.4 Selective Defunctionalization -- 4 Case Studies -- 5 Conclusion -- A A Primer on the Functional Correspondence -- B Normalization by Evaluation for -calculus -- References -- S-Semantics-an Example -- 1 Introduction -- 2 S-semantics -- 3 The n Queens Program -- 4 Correctness of nqueens -- 4.1 Specification for Correctness -- 4.2 Correctness Proof for nqueens -- 5 Completeness -- 5.1 Specification for Completeness -- 5.2 Completeness Proof -- 6 Comments -- 7 Summary -- References -- Disjunctive Delimited Control -- 1 Introduction -- 2 Overview and Motivation -- 2.1 Background: Conjunctive Delimited Control.2.2 Delimited Continuations with Disjunction -- 3 Meta-interpreter Semantics -- 3.1 Core Interpreter -- 4 Case Studies -- 4.1 Branch-and-Bound: Nearest Neighbour Search -- 4.2 Probabilistic Programming -- 5 Properties of the Meta-interpreter -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Towards Substructural Property-Based Testing -- 1 Introduction -- 2 A Motivating Example -- 3 A Primer on Linear Logic Programming -- 4 The Proof-Theory of PBT -- 5 Case Study -- 5.1 On Linear Encodings -- 5.2 Experimental Evaluation -- 6 Related Work and Conclusions -- References -- The Next 700 Program Transformers -- 1 Introduction -- 2 Language -- 3 Process Trees -- 4 A Hierarchy of Program Transformers -- 4.1 Level 0 Transformer -- 4.2 Level k+1 Transformers -- 5 Examples -- 6 Speedups -- 7 Termination -- 8 Related Work -- 9 Conclusion and Further Work -- References -- Representation and Processing of Instantaneous and Durative Temporal Phenomena -- 1 Introduction -- 2 Language -- 2.1 Syntax -- 2.2 Grammar -- 2.3 Semantics -- 3 Maritime Use Case Examples -- 3.1 Stopped Vessel -- 3.2 Moored Vessel -- 3.3 Vessel Trips -- 3.4 Fishing Trips -- 4 Executable Semantics -- 4.1 Stream Processing -- 4.2 Processing of Temporal Phenomena -- 5 Implementation -- 5.1 Architecture -- 5.2 Empirical Evaluation -- 6 Related Work -- 7 Summary and Future Directions -- References -- Prefix-Based Tracing in Message-Passing Concurrency -- 1 Introduction -- 2 A Message-Passing Concurrent Language -- 3 Prefix-Based Tracing Semantics -- 4 A Program Instrumentation for Prefix-Based Tracing -- 5 Concluding Remaks -- References -- Author Index.Lecture Notes in Computer Science Computer logicCongressesComputer logic005.115Vanhoof WimDe Angelis EmanueleMiAaPQMiAaPQMiAaPQBOOK996464451403316Logic-Based Program Synthesis and Transformation2914320UNISA