Publications of Franz Puntigam (KPP93)

Eva Kühn, Herbert Pohlai, and Franz Puntigam.
Concurrency and Backtracking in Vienna Parallel Logic.
Computer Languages, Vol. 19, No. 3, 1993.

Abstract:

VPL (Vienna Parallel Logic) supports the concurrent execution of communicating processes and the computation of several alternative solutions by means of programmed backtracking. It unifies the two worlds of Prolog and concurrent logic programming languages like Parlog. Aspects of both language classes can be combined to any desired degree within one computation. Our proposal considers the treatment of failing processes. Further characteristics include an advanced transaction model and the support of an object-oriented and architecture-neutral programming style. VPL is a persistent language and programming system. We describe the language and briefly outline implementation issues of our prototype system.

Keywords:

concurrent logic language, programmed backtracking, persistent transactions

Paper

@Article{KPP93,
  author  = "E. K{\"{u}}hn and H. Pohlai and F. Puntigam",
  title   = "Concurrency and Backtracking in {VPL}",
  journal = "Computer Languages",
  year    = "1993",
  volume  = "19",
  number  = "3",
  month   = jul,
  url     = "http://www.complang.tuwien.ac.at/franz/papers/KPP93.ps.Z"
}