Výsledky vyhledávání - F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages
-
1
A Denotational Semantics for SPARC TSO
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science e.V 01.01.2019Vydáno v 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…”
Získat plný text
Journal Article -
2
DETECTING PROGRAMMING FLAWS IN STUDENT SUBMISSIONS WITH STATIC SOURCE CODE ANALYSIS
ISSN: 2065-9601Vydáno: Babes-Bolyai University, Cluj-Napoca 20.07.2023Vydáno v Studia Universitatis Babes-Bolyai: Series Informatica (20.07.2023)“… Such tools can also detect violations of the conventions and guidelines of the given programming language…”
Získat plný text
Journal Article