Výsledky vyhľadávania - Sequential Programs - Syntax AND Semantics*

  • Zobrazené výsledky 1 - 7 z 7
Upresniť hľadanie
  1. 1
    Obálka

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

    Vydavateľské údaje: 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ískať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené 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
    Vydavateľské údaje: Cham Springer Nature 2019
    “…; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification…”
    Získať plný text
    E-kniha
    Pridať do obľúbených
    Uložené 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
    Vydavateľské údaje: 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ískať plný text
    Journal Article
    Pridať do obľúbených
    Uložené 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
    Vydavateľské údaje: American Psychological Association 01.03.1989
    Vydané 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ískať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  5. 5
    Obálka

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

    ISBN: 0769519261, 9780769519265
    ISSN: 1530-2075
    Vydavateľské údaje: 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ískať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:
  6. 6
    Obálka

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

    ISSN: 1433-2779, 1433-2787
    Vydavateľské údaje: 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ískať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  7. 7
    Obálka

    Playful, streamlike computation Autor Pierre-Louis Curien

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 18.01.2005
    Vydané v arXiv.org (18.01.2005)
    “…We offer a short tour into the interactive interpretation of sequential programs…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: