Výsledky vyhľadávania - "concurrent logic programming"

  • Zobrazené výsledky 1 - 6 z 6
Upresniť hľadanie
  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
    Vydavateľské údaje: 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ískať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    LMNtal as a hierarchical logic programming language Autor Ueda, Kazunori

    ISSN: 0304-3975, 1879-2294
    Vydavateľské údaje: Elsevier B.V 01.11.2009
    Vydané 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ískať plný text
    Journal Article
    Pridať do obľúbených
    Uložené 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
    Vydavateľské údaje: 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ískať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené 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
    Vydavateľské údaje: Dordrecht Springer Nature B.V 01.01.2002
    Vydané 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ískať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  5. 5
    Obálka

    Constraint-Based Concurrency and Beyond Autor Kazunori Ueda

    ISSN: 1571-0661, 1571-0661
    Vydavateľské údaje: Elsevier BV 01.09.2006
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  6. 6
    Obálka

    Constraint-Based Concurrency and Beyond Autor Ueda, Kazunori

    ISSN: 1571-0661, 1571-0661
    Vydavateľské údaje: 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ískať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: