Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

Multi-Paradigm Programming in Oz

Martin Müller, Tobias Müller, Peter Van Roy

Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog, 1995

We present Oz as a programming language that naturally encompasses multiple styles of programming, including (constraint) logic, functional, and concurrent object-oriented programming. This has been achieved by providing a common underlying foundation for these styles by means of a simple formal model in the concurrent constraint paradigm. An integrative programming model is argued to be useful for foundational as well as practical reasons, and is illustrated by means of paradigmatical code examples.

Download PDF        Show BibTeX               

@INPROCEEDINGS{Visions95,
  title = {Multi-Paradigm Programming in Oz},
  author = {Martin Müller and Tobias Müller and Peter Van Roy},
  year = {1995},
  month = {"7 " # dec},
  editor = {{Donald Smith and Olivier Ridoux and Van Roy, Peter}},
  booktitle = {Visions for the Future of Logic Programming:                   Laying the Foundations for a Modern successor of Prolog},
  address = {{Portland, Oregon}},
  note = {{A Workshop in Association with ILPS'95}},
}

Login to edit