Programming Languages

Authors and titles for cs.PL in Jul 2021, skipping first 10

[11]  arXiv:2107.01621 [pdf, ps, other]

Title: The Composability of Intermediate Values in Composable Inductive Programming

Authors: Edward McDaid, Sarah McDaid

Comments: 8 pages, 9 figures

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

[12]  arXiv:2107.01883 [pdf, other]

Title: A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)

Authors: Sandro Stucki, Paolo G. Giarrusso

Comments: 73 pages; to be presented at the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021), 22-27 August 2021

Journal-ref: Proc. ACM Program. Lang. 5 (2021) 69:1-69:30 (ICFP)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[13]  arXiv:2107.02346 [pdf, ps, other]

Title: Thread-modular Analysis of Release-Acquire Concurrency

Authors: Divyanjali Sharma, Subodh Sharma

Subjects: Programming Languages (cs.PL)

[14]  arXiv:2107.03569 [pdf, other]

Title: Dynamic Data-Race Detection through the Fine-Grained Lens

Authors: Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis

Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC)

[15]  arXiv:2107.04663 [pdf, ps, other]

Title: A cost-aware logical framework

Authors: Yue Niu (1), Jonathan Sterling (1), Harrison Grodin (1), Robert Harper (1) ((1) Carnegie Mellon University)

Subjects: Programming Languages (cs.PL)