Suchergebnisse - F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages

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

    A Denotational Semantics for SPARC TSO von Kavanagh, Ryan, Brookes, Stephen

    ISSN: 1860-5974, 1860-5974
    Veröffentlicht: Logical Methods in Computer Science e.V 01.01.2019
    Veröffentlicht in Logical methods in computer science (01.01.2019)
    “… The SPARC TSO weak memory model is defined axiomatically, with a non-compositional formulation that makes modular reasoning about programs difficult …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    DETECTING PROGRAMMING FLAWS IN STUDENT SUBMISSIONS WITH STATIC SOURCE CODE ANALYSIS von Péter KASZAB, Máté CSERÉP

    ISSN: 2065-9601
    Veröffentlicht: Babes-Bolyai University, Cluj-Napoca 20.07.2023
    “… Such tools can also detect violations of the conventions and guidelines of the given programming language …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: