Publications of Franz Puntigam (Punt02)

Franz Puntigam.
State inference for dynamically changing interfaces.
Computer Languages 27 (2002) 163-202.

Abstract:

Types in current programming languages specify constant sets of messages always acceptable throughout the lifetime of the type's instances. However, especially in concurrent object-oriented systems, the acceptability of messages often changes with the object's states. We propose a typed concurrent object calculus where static type checking ensures that users send only acceptable messages although message acceptability may change dynamically. The programmer specifies in types predictable state changes and dependences of message acceptance on states; a compiler infers the needed state information. This state inference has polynomial time complexity and can be used together with subtyping.

@Article{Punt02,
  author  = {Franz Puntigam},
  title   = {State inference for dynamically changing interfaces},
  journal = {Computer Languages},
  year    = 2002,
  volume  = 27,
  pages   = {163--202}
}