Publications of Franz Puntigam (Punt95b)

Franz Puntigam.
Typen für logikbasierte aktive Objekte.
In 11. Workshop Logische Programmierung, GMD-Studien Nr. 270, Wien, Austria, September 1995. (In German.)

Abstract:

"Concurrent logic languages" (CL-Sprachen) eignen sich im Prinzip zur objektorientierten Programmierung. Allerdings fehlt ihnen ein polymorphes Typsystem zur Unterstützung der inkrementellen Softwareentwicklung. Mit dem in diesem Artikel vorgestellten Typkonzept für CL-Sprachen wird dieses Manko beseitigt. Dieses Typkonzept erreicht unter anderem durch Verwendung kommutativer Listen große Ausdrucksstärke.

Paper

@InProceedings{Punt95b,
  author    = "Franz Puntigam",
  title     = {Typen f{\"u}r logikbasierte aktive {Objekte}},
  booktitle = "Workshop Logische Programmierung",
  year      = 1995,
  month     = sep,
  address   = "Vienna",
  series    = "{GMD}-Studien",
  number    = 270,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt95b.ps.gz"
}