25 research outputs found

    Human Rights, China and the UN

    No full text

    Weaponising Citizenship in China: Domestic Exclusion and Transnational Expansion

    No full text
    This paper offers a critical and historical analysis of the transformation of citizenship in China in a way that challenges both legal orientalism and the overall discourse on Chinese ‘characteristics’ and ‘exceptionalism’. It aims to uncover how citizenship has been transformed ‘structurally’ (Solinger 1999) as well as through ‘acts of citizenship’ (Jakimow 2012). The paper will therefore not only look at how the One-Party State defines citizenship, uses it as an instrument of repression and population control, but also how citizens themselves can contribute to a new narrative on citizenship and driver of contestation in China. The paper will argue that the transformation of citizenship has contributed to the reinforcement of the fragmented and transnational nature of Chinese citizenship

    Towards Stepwise, Schema-Guided Synthesis of Logic Programs

    No full text
    We present a general strategy for stepwise, sound and progressive synthesis of logic programs from specifications by examples and properties. We particularize this to schema-guided synthesis, and state a generic synthesis theorem. We justify some design choices for the development of a particular synthesis mechanism that is guided by a Divide-and-Conquer schema, is inductive and deductive, is interactive, and features a non-incremental presentation of examples. Some crucial steps of this mechanism are explained, and illustrated by a sample synthesis. We draw some conclusions on our results so far, state some related work, and outline future research directions
    corecore