Publication schedule
  • №4 December 2018
    Submission deadline: 10 November 2018
  • №1 March 2019
    Submission deadline: 10 February 2019
  • №2 June 2019
    Submission deadline: 10 May 2019
  • №3 September 2019
    Submission deadline: 10 July 2019
Vafeiadis Viktor

On Compilation Correctness for a Subset of a Promising Memory Model to the ARMv8.3 Memory Model

Software of Computer, Telecommunications and Control Systems
  • Year: 2017
  • Volume: 10
  • Issue: 4
  • 34
  • 279
  • Pages: 51-69