Publications of Franz Puntigam (Punt96b)

Franz Puntigam.
Types for Active Objects Based on Trace Semantics.
In Proceedings of the 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS'96), IFIP WG 6.1, Paris, France, March 1996.

Abstract:

Static typing and subtyping are useful for the support of incremental refinement and reuse in object-oriented languages. Although demanded, there is currently no appropriate type model for concurrent object- oriented languages that supports dynamic behavior modifications. We propose a type model based on a process calculus with trace semantics and demonstrate its use in a simple language. This model is an extension of conventional models for types and subtyping and ensures that all messages are processed even if object behavior is modified dynamically.

Keywords:

type model, subtyping, concurrency, process algebra

Paper

@InProceedings{Punt96b,
  author       = "Franz Puntigam",
  title        = "Types for Active Objects based on Trace Semantics",
  booktitle    = "Proceedings of the Workshop on Formal Methods
		  for Open Object-based Distributed Systems (FMOODS'96)",
  editor       = "Elie Najm et al.",
  year         = 1996,
  publisher    = "Chapman {\&} Hall",
  organization = "{IFIP} {WG} 6.1",
  address      = "Paris, France",
  month        = mar,
  url          = "http://www.complang.tuwien.ac.at/franz/papers/Punt96b.ps.gz"
}