Panini: A Language with Asynchronous, Typed Events

Long, Yuheng, Mooney, Sean and Rajan, Hridesh (2009) Panini: A Language with Asynchronous, Typed Events. Technical Report 09-28, Computer Science, Iowa State University.

There is a later version of this eprint available: Click here to view it.

Abstract

Abstract. Writing programs using explicit concurrency constructs such as threads is hard and error prone. To solve this problem many recent language design efforts have focused on features that manage the details of concurrency behind the scene, while exposing easy to use and checked programming discipline to the programmers. The subject of this work, the Panini language, has similar goals. To that end, the key notion in Panini is that of an asynchronous, typed event. An asynchronous, typed event is a new mechanism for separation of concerns in both program design space and program execution space. This paper describes Panini and explores its modularity and concurrency advantages.

Available Versions of This Paper

• Panini: A Language with Asynchronous, Typed Events (deposited 15 October 2009) [Currently displayed]
  • Panini: Reconciling Concurrency and Modularity in Design (deposited 08 April 2010)