We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the programming language Jif, an extension of Java with information-flow types. We address basic leaks of private information and also consider other aspects of privacy policies supported by the Platform for Privacy Preferences (P3P) an...

The extended editorial provides a general introduction to the individual contributions to this Special Issue on ‘Choice in language education’. Together with the concluding piece by Lid King, it frames the various cases presented, and offers a discussion of the broader socio-political, cultural, economic and conceptual context within which they are located and against which they can be read. It...

We present the Simple Unified Policy Programming Language (Suppl), a domain-neutral language for stating, executing, and analyzing event-condition-action policies. Suppl uses a novel combination of pure logic programming and disciplined imperative programming features to make it easy for non-expert users to express common policy idioms. The language is strongly typed and moded to allow static d...

Abstract In this paper, we explore how language centres can and need to seize the initiative in matters of internationalisation, policy supporting a multilingual multicultural institutional environment. We identify number challenges opportunities, using situation United Kingdom as our example, demonstrating evidence their existing contribution wider interpretation internationalisation than is o...