Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Extending Agent Languages for Autonomy

BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents with a static plan library of behaviours invoked reactively. These languages provide a theoretically sound basis for agent design but are very limited in providing direct support for autonomy and societal cooperation needed for large scale systems. Some techniques for autonomy and cooperation have been explored in the past in ad hoc implementations, but not incorporated in any agent language. In order to address these shortcomings we extend the well known AgentSpeak(L) BDI agent language to include behaviour generation through planning, declarative goals and motivated goal adoption. We also develop a language-specific multiagent cooperation scheme and, to address potential problems arising from autonomy in a multiagent system, we extend our agents with a mechanism for norm processing leveraging existing theoretical work. These extensions allow for greater autonomy in the resulting systems, enabling them to synthesise new behaviours at runtime and to cooperate in non-scripted patterns.

Achieving behaviour change: three generations of HIV/AIDS programming and jargon in Thailand

NGOs have played an important role worldwide in the fight to prevent the spread of HIV/AIDS through achieving behaviour change. NGOs have often been at the forefront of innovative changes, influencing government and international programming activities. This paper identifies and analyses the evolution of the HIV/AIDS programmes of one NGO in Thailand over a period of ten years. Three generations of programming are identified both through distinct approaches to this area of work and through the changing jargon used to describe the people the programmes are aimed at.

Design guidelines for children programming in school environment

This paper describes design guidelines of a programming environment for children, aiming to lower the barriers for children to learn programming. Our model called GBuilder has been developed on the basis of guidelines, with the express purpose of enabling and empowering the students to develop their own learning programs in survival literacy within enjoyable and fun environment.