Podkopaev Anton Viktorovich

Publications in Math-Net.Ru

1. Radiation characteristics of Ar$_{2}$Cl$^{*}$ excimer molecules under pumping of an Ar + CCl$_{4}$ dense gas mixture by high-energy electrons
   
   Optics and Spectroscopy, 129:9 (2021),  1146–1151
2. Compilation of OCaml memory model into Power
   
   Proceedings of ISP RAS, 31:5 (2019),  63–78
3. Relational programming with memoization and negation
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 11:2 (2018),  35–46
4. On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:4 (2017),  51–69
5. Promising compilation to ARMv8.3
   
   Proceedings of ISP RAS, 29:5 (2017),  149–164


6. A language-independent code formatting by syntactic matching and templates
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2015, no. 4(224),  37–50