Search Results - "integration of functional and logic programming"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

    Implementing conditional term rewriting by graph rewriting by Ohlebusch, Enno

    ISSN: 0304-3975, 1879-2294
    Published: Amsterdam Elsevier B.V 06.07.2001
    Published in Theoretical computer science (06.07.2001)
    “… In this paper, we extend the aforementioned results to a class of conditional term rewriting systems which plays a key role in the integration of functional and logic programming…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Some characteristics of strong innermost normalization by Krishna Rao, M.R.K.

    ISSN: 0304-3975, 1879-2294
    Published: Amsterdam Elsevier B.V 17.05.2000
    Published in Theoretical computer science (17.05.2000)
    “… This property is very important in the integration of functional and logic programming paradigms…”
    Get full text
    Journal Article Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Cover Image

    A domain-theoretic approach to functional and logic programming by Silbermann, Frank S. K., Jayaraman, Bharat

    ISSN: 0956-7968, 1469-7653
    Published: Cambridge, UK Cambridge University Press 01.07.1992
    Published in Journal of functional programming (01.07.1992)
    “…The integration of functional and logic programming languages has been a topic of great interest in the last decade…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: