Infoscience
ACM Letters on Programming Languages and Systems
Association for Computing Machinery
0164-0925