Výsledky vyhledávání - "Imperative Concurrent Programming Language"

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

    Reversing an imperative concurrent programming language Autor Hoey, James, Ulidowski, Irek

    ISSN: 0167-6423, 1872-7964
    Vydáno: Elsevier B.V 01.11.2022
    Vydáno v Science of computer programming (01.11.2022)
    “…We introduce a method of reversing the execution of imperative concurrent programs. Given an irreversible program, we describe the process of producing two…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

    Reversing an Imperative Concurrent Programming Language Autor Hoey, James, Ulidowski, Irek

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 02.05.2022
    Vydáno v arXiv.org (02.05.2022)
    “…We introduce a method of reversing the execution of imperative concurrent programs. Given an irreversible program, we describe the process of producing two…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Obálka

    Modular termination verification with a higher-order concurrent separation logic (Intermediate report) Autor Fasse, Justus, Jacobs, Bart

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 28.12.2022
    Vydáno v arXiv.org (28.12.2022)
    “…We report on intermediate results of our research on reasoning about liveness properties in addition to deep correctness properties for an imperative, concurrent programming language with a higher-order store…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:
  4. 4
    Obálka

    The typing of communicating sequential processes Autor Li Wenjun, Zhou Xiaocong, Li Shixian

    ISBN: 0769503934, 9780769503936
    Vydáno: IEEE 1999
    “…As an imperative concurrent programming language, CSP is considered weakly typed…”
    Získat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Obálka

    Calculi for higher order communicating systems Autor Thomsen, Bent

    Vydáno: ProQuest Dissertations & Theses 01.01.1991
    “…This thesis develops two Calculi for Higher Order Communicating Systems. Both calculi consider sending and receiving processes to be as fundamental as…”
    Získat plný text
    Dissertation
    Přidat do oblíbených
    Uloženo v:
  6. 6
    Obálka

    An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation Autor Alpuente, M., Gallardo, M.M., Pimentel, E., Villanueva, A.

    ISSN: 1571-0661, 1571-0661
    Vydáno: Elsevier B.V 08.04.2008
    “…A pretty wide range of concurrent programming languages have been developed over the years. Coming from different programming traditions, concurrent languages…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: