Facilitating modular property-preserving extensions of programming languages

We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on the core. Language features can be described separated from each other in a self-contained, orthogonal way. We present an extension semantics framework consisting of mechanisms to adapt semantics of a basic language to new structural requirements in an extended language preserving the behaviour of programs of the basic language. Common templates of extension are provided. These can be collected in extension libraries accessible to and extendible by language designers. Mechanisms to extend these libraries are provided. A notation for describing language features embedding these semantics extensions is presented

Modular Composition of Language Features through Extensions of Semantic Language Models

Today, programming or specification languages are often extended in order to customize them for a particular application domain or to refine the language definition. The extension of a semantic model is often at the centre of such an extension. We will present a framework for linking basic and extended models. The example which we are going to use is the RSL concurrency model. The RAISE specification language RSL is a formal wide-spectrum specification language which integrates different features, such as state-basedness, concurrency and modules. The concurrency features of RSL are based on a refinement of a classical denotational model for process algebras. A modification was necessary to integrate state-based features into the basic model in order to meet requirements in the design of RSL. We will investigate this integration, formalising the relationship between the basic model and the adapted version in a rigorous way. The result will be a modular composition of the basic process model and new language features, such as state-based features or input/output. We will show general mechanisms for integration of new features into a language by extending language models in a structured, modular way. In particular, we will concentrate on the preservation of properties of the basic model in these extensions

‘Shell to Sea’ in Ireland: building social movement potency

In 1996 the Corrib gas field, holding over 1 trillion cubic feet of gas, was discovered by Enterprise Oil 83km off the North West coast of Ireland. Acquired by Shell in 2002, proposed extraction and processing is now a co-venture between several multinational energy corporations who aim to transport the gas some 90kms via pipeline to an onshore refinery site at Bellanaboy. Although heralded as a significant opportunity for development and employment by Shell and participating companies, local resistance to the proposals, on social and environmental grounds, has been sustained and effective. Mirroring global conflicts between the petrochemical industry and local people and lifeworlds, this resistance has elicited repressive responses, including the jailing of local landowners by the Irish state following their resistance to unprecedented compulsory land acquisition orders, and the taking out of a court injunction by Shell in 2005. Drawing on elements of contemporary social movement theory, and on both field research and analysis of campaign documents and media reports, this paper seeks to describe and reflect on the shape and spread of the social movement that has arisen in response to this development project. We focus on the ‘Shell to Sea’ campaign which has argued for the offshore, as opposed to the onshore, development of the gas field, and has garnered support from many other social movement groups and networks. In particular we consider the use of alternative media in strengthening shared networks of concern and in engaging critically with corporate media representations of both the project and the mobilisation. We conclude that social movement effectiveness and potency is in large part an outcome of collective and subjective commitments to intense work effort and the sharing of felt solidarity regarding environmental and social concerns; and we iterate the significance of affective and subjective dimensions of social movement activities alongside more conventional descriptions of work practices and structuring contexts

An archaeology of Irish cinema: Ireland's subaltern, migrant and feminist film cultures (1973-87)

This thesis examines the development of an Irish film avant-garde, from the mid 1970s to the late 1980s. The thesis argues that this period was marked by an historically specific intersection between Irish and international film cultures, which can be traced through contemporary film theory, cultural policy and critical practice. This period witnessed a revitalisation of indigenous production, and new initiatives in Irish arts policy, but many important Irish filmmakers trained or began their careers in London and New York, while others were supported by cultural and political agencies outside the state. The thesis focuses on the work of five filmmakers (Bob Quinn, Joe Comerford, Thaddeus O’Sullivan, Vivienne Dick and Pat Murphy) and on three key areas of intersection between Irish and international film culture, associated with the ‘subaltern’, migration and feminism. Through close readings of specific films, supported by interviews with selected filmmakers, distributors and archivists, the thesis develops an expanded model of practice, which extends beyond production to address issues of distribution and exhibition. This archaeology of Irish cinema is informed by post-structural critiques of the archive, as well as theories of the avantgarde, and it argues that the reception of Irish avant-garde film has been structured by the institutional discourses of the museum and the academy

The geographical spread of state executions during the Irish Civil War, 1922-1923

The state executions of 81 IRA men during the Irish civil war have long been a bitter, almost taboo subject in Irish society. This article provides a geographical perspective on these executions. While the origins of the policy can be traced to elite divisions, the geographical spread of the executions, especially in 1923, reflected the geography of the civil war, and the need to broadcast state power at the local level during its guerrilla phase. The article maps the geographical spread of the executions and analyzes their diffusion in terms of a number of general and Irish-specific theories of civil war violence. Because the civil war originated in elite differences over a treaty, and because the two sides of the conflict had been so personally close at the elite level, historians have tended to explain the executions in terms of elite psychology. Yet while the initial development of the policy reflected the centralization of power by the protreaty elite, in terms of timing, strategic rationale, and location territorial perspectives on civil war explain much more about their diffusion in 1923

Practice links [Issue 74, October 2017]

Practice Links is a free publication of the Social Work Development Unit, University College Cork, Ireland. The aim of PL is help practitioners to keep up-to-date with new publications, conferences and continuing professional development opportunities