Výsledky vyhledávání - Sequential Programs - Syntax AND Semantics*

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

    Generalized Net Model of Sequential Programs Autor Todorova, Magdalina, Orozova, Daniela

    Vydáno: IEEE 01.06.2018
    “… The syntax and semantics of such programs are outlined. In order to define the syntax, reduced generalized nets are used…”
    Získat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

    Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I Autor Dillig, Isil, Tasiran, Serdar

    ISBN: 3030255395, 9783030255398
    Vydáno: Cham Springer Nature 2019
    “…; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification…”
    Získat plný text
    E-kniha
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Obálka

    A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators Autor Podymov, V.V., Zakharov, V.A.

    ISSN: 2079-8156, 2220-6426
    Vydáno: Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
    “…In this paper we study the equivalence problem in the model of sequential programs which assumes that some instructions are commutative and absorbing…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  4. 4
    Obálka

    Teaching for transfer of computer program comprehension skill Autor Dyck, Jennifer L, Mayer, Richard E

    ISSN: 0022-0663, 1939-2176
    Vydáno: American Psychological Association 01.03.1989
    Vydáno v Journal of educational psychology (01.03.1989)
    “…In a series of two experiments, computer-naive students learned the BASIC computer programming language either by solving and receiving feedback on program comprehension problems stated in BASIC (control group…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Obálka

    A Java dialect free of data races and without annotations Autor Mateu, L.

    ISBN: 0769519261, 9780769519265
    ISSN: 1530-2075
    Vydáno: IEEE 2003
    “… JShield preserves the Java syntax and the semantics of sequential Java programs. It modifies the semantics of concurrent programs to completely avoid data races without relying on the programmer ability, and without requiring special annotations…”
    Získat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:
  6. 6
    Obálka

    Correct program parallelisations Autor Blom, S., Darabi, S., Huisman, M., Safari, M.

    ISSN: 1433-2779, 1433-2787
    Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2021
    “…A commonly used approach to develop deterministic parallel programs is to augment a sequential program with compiler directives that indicate which program blocks may potentially be executed in parallel…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  7. 7
    Obálka

    Playful, streamlike computation Autor Pierre-Louis Curien

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 18.01.2005
    Vydáno v arXiv.org (18.01.2005)
    “…We offer a short tour into the interactive interpretation of sequential programs…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: