TY  - SER
TI  - ACM Transactions on Programming Languages and Systems
SN  - 0164-0925
PB  - Association for Computing Machinery
KW  - RuMoBEN
KW  - (13) Вычислительная математика и программирование для ЭВМ
KW  - (13)
KW  - Computational mathematics, Computer programming
UR  - https://dl.acm.org/loi/toplas
ER  -