Publications of Franz Puntigam (KPP94)

Eva Kühn, Herbert Pohlai, and Franz Puntigam.
Communication and Transactions in Vienna Parallel Logic.
Computers and Artificial Intelligence, Vol. 13, No. 4, 1994.

Abstract:

We compare several degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming language and system with reliable communication called VPL (Vienna Parallel Logic) is presented. We point out the contradiction between complete architecture independence and reliable high-level communication in programming languages. The description of an implementation technique of VPL's reliable communication on shared memory and distributed architectures comprises a major part of this paper. The reliable communication is based on the specification of consistent system states that must survive system failures.

Keywords:

Programming Languages, Transactions, Concurrency, Communication, Parallel and Distributed Language Implementation

Paper

@Article{KPP94,
  author  = "E. K{\"{u}}hn and H. Pohlai and F. Puntigam",
  title   = "Communication and Transactions in {VPL}",
  journal = "Computers and Artificial Intelligence",
  year    = "1994",
  volume  = "13",
  number  = "4",
  url     = "http://www.complang.tuwien.ac.at/franz/papers/KPP94.ps.Z"
}