Výsledky vyhľadávania - F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages
-
1
A Denotational Semantics for SPARC TSO
ISSN: 1860-5974, 1860-5974Vydavateľské údaje: Logical Methods in Computer Science e.V 01.01.2019Vydané 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ískať plný text
Journal Article -
2
DETECTING PROGRAMMING FLAWS IN STUDENT SUBMISSIONS WITH STATIC SOURCE CODE ANALYSIS
ISSN: 2065-9601Vydavateľské údaje: Babes-Bolyai University, Cluj-Napoca 20.07.2023Vydané 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ískať plný text
Journal Article