Publications of Franz Puntigam (Punt95a)

Franz Puntigam.
Type Specifications with Processes.
In Proceedings of the 8th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE'95), IFIP WG 6.1, Montreal, Quebec, Canada, October 1995.

Abstract:

Object-oriented software development is characterized by the repeated refinement of specifications and software components. The refinement of specifications is facilitated by the use of specification languages which support subtyping based on the principle of substitutability. In this paper we propose to specify concurrent systems by types represented as expressions of a process calculus. These types allow to specify also dynamic language aspects and still support subtyping and static type-checking.

Keywords:

type specification, subtyping, static type checking, process calculi

Paper

@InProceedings{Punt95a,
  author    = "Franz Puntigam",
  title     = "Type Specifications with Processes",
  booktitle = "Proceedings {FORTE}'95",
  year      = 1995,
  address   = "Montreal",
  publisher = "IFIP",
  month     = oct,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt95a.ps.gz"
}