Suchergebnisse - Sequential Programs - Syntax AND Semantics*

  • Treffer 1 - 7 von 7
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Veröffentlicht: IEEE 01.06.2018
    “… The syntax and semantics of such programs are outlined. In order to define the syntax, reduced generalized nets are used …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    ISBN: 3030255395, 9783030255398
    Veröffentlicht: Cham Springer Nature 2019
    “… ; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification …”
    Volltext
    E-Book
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    ISSN: 2079-8156, 2220-6426
    Veröffentlicht: Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
    Veröffentlicht in Trudy Instituta sistemnogo programmirovaniâ (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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    ISSN: 0022-0663, 1939-2176
    Veröffentlicht: American Psychological Association 01.03.1989
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    ISBN: 0769519261, 9780769519265
    ISSN: 1530-2075
    Veröffentlicht: 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 …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

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

    ISSN: 1433-2779, 1433-2787
    Veröffentlicht: 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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

    Playful, streamlike computation von Pierre-Louis Curien

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 18.01.2005
    Veröffentlicht in arXiv.org (18.01.2005)
    “… We offer a short tour into the interactive interpretation of sequential programs …”
    Volltext
    Paper
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: