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

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

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

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 01.01.2019
    Published 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISSN: 2065-9601
    Published: Babes-Bolyai University, Cluj-Napoca 20.07.2023
    “… Such tools can also detect violations of the conventions and guidelines of the given programming language…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: