archives

An Object-Oriented Event Calculus


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Patterson, Jeremiah S. (2002) An Object-Oriented Event Calculus. Technical Report TR02-08, Computer Science, Iowa State University.

Full text available as:Adobe PDF
Postscript

Abstract

Despite the rising popularity and usefulness of events, or implicit invocation, in software design, the availability of general-purpose event mechanisms are rare. Further, most event mechanisms available for software design are implemented as libraries or sets of macros that are constrained by the language in which they are used; making such mechanisms inconvenient to use as well as error-prone. Event mechanisms that are part of a programming language can do away with such constraints; thus making events easier to use. However, there a few languages that offer built-in the events and even fewer languages that have a built-in general-purpose event mechanism. In order to promote the study of implicit invocation programming languages, this thesis presents a formal programming language foundation for events. This thesis expands the, object based, imps-caluculus to create a calculus for objects and events, the rws-calculus. The rws-calculus has a formal syntax, semantics, and a sound type system that is useful for defining practical programming languages that include built-in events. This, along with the ability of the calculus to easily simulate many different event mechanisms makes it a good start toward a formal understanding of implicit invocation.

Keywords:Implicit invocation, event handling, constrol primitives, control abstractions, operational semantics, Eventua language, Abadi and Cardelli's object calculus.
Subjects:Software: PROGRAMMING TECHNIQUES (E): Object-oriented Programming
Software: SOFTWARE ENGINEERING (K.6.3)
Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3)
Software: PROGRAMMING LANGUAGES: Language Classifications
Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Semantics of Programming Languages (D.3.1)
Theory of Computation: MATHEMATICAL LOGIC AND FORMAL LANGUAGES: General
ID code:00000284
Deposited by:Gary T. Leavens on 15 August 2002
Alternative Locations:ftp://ftp.cs.iastate.edu/pub/techreports/TR02-08/TR.pdf ftp://ftp.cs.iastate.edu/pub/techreports/TR02-08/TR.ps.gz



Contact site administrator at: ssg@cs.iastate.edu