Výsledky vyhledávání - "Concurrent logic programming"

  • Zobrazuji výsledky 1 - 6 z 6
Upřesnit hledání
  1. 1
    Obálka

    A history of the Oz multiparadigm language Autor Van Roy, Peter, Haridi, Seif, Schulte, Christian, Smolka, Gert

    ISSN: 2475-1421, 2475-1421
    Vydáno: 2020
    “…Oz is a programming language designed to support multiple programming paradigms in a clean factored way that is easy to program despite its broad coverage. It…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

    LMNtal as a hierarchical logic programming language Autor Ueda, Kazunori

    ISSN: 0304-3975, 1879-2294
    Vydáno: Elsevier B.V 01.11.2009
    Vydáno v Theoretical computer science (01.11.2009)
    “…LMNtal (pronounced “ elemental”) is a simple language model based on hierarchical graph rewriting that uses logical variables to represent connectivity and…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Obálka

    Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming Autor Saito, K.

    ISBN: 9780769532998, 0769532993
    ISSN: 1529-4188
    Vydáno: IEEE 01.09.2008
    “…Today's high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of…”
    Získat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:
  4. 4
    Obálka

    Kima: An Automated Error Correction System for Concurrent Logic Programs Autor Ajiro, Yasuhiro, Ueda, Kazunori

    ISSN: 0928-8910, 1573-7535
    Vydáno: Dordrecht Springer Nature B.V 01.01.2002
    Vydáno v Automated software engineering (01.01.2002)
    “…We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Obálka

    Constraint-Based Concurrency and Beyond Autor Kazunori Ueda

    ISSN: 1571-0661, 1571-0661
    Vydáno: Elsevier BV 01.09.2006
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  6. 6
    Obálka

    Constraint-Based Concurrency and Beyond Autor Ueda, Kazunori

    ISSN: 1571-0661, 1571-0661
    Vydáno: Elsevier B.V 29.09.2006
    “…Constraint-based concurrency is a simple and elegant formalism of concurrency with monotonic mobile channels, whose history started in early 1980's as a…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: