Gerard Kelly

Learn More
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs whose behavior depends on runtime observations; conditional execution, iteration, and exception handling. Temporally-flexible reactive programs are distinguished from(More)
BACKGROUND The Ministry of Health in the Republic of Vanuatu has implemented a malaria elimination programme in Tafea Province, the most southern and eastern limit of malaria transmission in the South West Pacific. Tafea Province is comprised of five islands with malaria elimination achieved on one of these islands (Aneityum) in 1998. The current study(More)
  • 1