IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #1256   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:31:23
1256 Add to my selection
      AUTHOR = {Smolka, Gert},
      TITLE = {Concurrent Constraint Programming Based on Functional Programming},
      YEAR = {1998},
      BOOKTITLE = {Programming Languages and Systems},
      VOLUME = {1381},
      PAGES = {1-11},
      EDITOR = {Hankin, Chris},
      SERIES = {Lecture Notes in Computer Science},
      ADDRESS = {Lisbon},
      PUBLISHER = {Springer},
      URL = {},
      ABSTRACT = {We show how the operational features of logic programming can be added as conservative extensions to a functional base language with call by value semantics. We will address both concurrent and constraint logic programming. As base language we will use a dynamically typed language that is obtained from SML by eliminating type declarations and static type checking. Our approach can be extended to cover all features of Oz. The experience with the development of Oz tells us that the outlined approach is the right base for the practical development of concurrent constraint programming languages. It avoids unnecessary duplication of concepts by reusing functional programming as core technology. Of course, it does not unify the partly incompatible theories behind functional and logic programming. They both contribute at a higher level of abstraction to the understanding of different aspects of the class of programming languages proposed here.},
      ANNOTE = {COLIURL : Smolka:1998:CCP.pdf}
Last modified: Thu October 16 2014 19:11:34         BibAdmin