Publication schedule
- №3 September 2026Submission deadline: 31 July 2026
- №4 December 2026
- №1 March 2027
- №2 June 2027
Latest issues
Anton V. Podkopaev
Affiliation
Saint Petersburg State University
On Compilation Correctness for a Subset of a Promising Memory Model to the ARMv8.3 Memory Model
- Year: 2017
- Volume: 10
- Issue: 4
- 36
- 9312
- Pages: 51-69
A Language-Independent Code Formatting by Syntactic Matching and Templates
- Year: 2015
- Issue: 4
- 555
- 9982
- Pages: 37-50
Relational programming with memoization and negation
- Year: 2018
- Volume: 11
- Issue: 2
- 17
- 9435
- Pages: 35-46

