Programming Languages

Authors and titles for cs.PL in Jan 2021, skipping first 50

[51]  arXiv:2101.10720 (cross-list from cs.LO) [pdf, ps, other]

Title: A program logic for fresh name generation

Authors: Harold Pancho Eliott, Martin Berger

Comments: 15 core pages accepted for publication in FSEN 2021, +60 pages of proofs included in appendix

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

[52]  arXiv:2101.11049 (cross-list from cs.DC) [pdf, other]

Title: C-for-Metal: High Performance SIMD Programming on Intel GPUs

Authors: Guei-Yuan Lueh, Kaiyu Chen, Gang Chen, Joel Fuentes, Wei-Yu Chen, Fangwen Fu, Hong Jiang, Hongzheng Li, Daniel Rhee

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

[53]  arXiv:2101.11501 (cross-list from cs.AI) [pdf]

Title: Evolution of artificial intelligence languages, a systematic literature review

Authors: Emmanuel Adetiba, Temitope John, Adekunle Akinrinmade, Funmilayo Moninuola, Oladipupo Akintade, Joke Badejo

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

[54]  arXiv:2101.11730 (cross-list from cs.LO) [pdf, ps, other]

Title: Alignment Completeness for Relational Hoare Logics

Authors: Ramana Nagasamudram, David A. Naumann

Comments: Minor revision of original. To appear in LICS 2021 but this version has appendix

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

[55]  arXiv:2101.12029 (cross-list from cs.LO) [pdf, other]

Title: Type-Based Analysis of Logarithmic Amortised Complexity

Authors: Martin Hofmann, Lorenz Leutgeb, Georg Moser, David Obwaller, Florian Zuleger

Comments: 35 pages. arXiv admin note: text overlap with arXiv:1807.08242

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

[56]  arXiv:2101.12123 (cross-list from cs.LO) [pdf, other]

Title: Safety Verification of Parameterized Systems under Release-Acquire

Authors: Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer

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

[57]  arXiv:2101.02993 (cross-list from quant-ph) [pdf, other]

Title: Efficient decomposition of unitary matrices in quantum circuit compilers

Authors: A. M. Krol, A. Sarkar, I. Ashraf, Z. Al-Ars, K. Bertels

Comments: 13 pages

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

[58]  arXiv:2101.08939 (cross-list from quant-ph) [pdf, other]

Title: A Rich Type System for Quantum Programs

Authors: Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey

Comments: 49 pages, 3 figures

Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[59]  arXiv:2101.09031 (cross-list from hep-ph) [pdf, other]

Title: CutLang V2: towards a unified Analysis Description Language

Authors: G. Unel, S. Sekmen, A. M. Toon, B. Gokturk, B. Orgen, A. Paul, N. Ravel, J. Setpal

Comments: published version

Journal-ref: Front. Big Data 4:659986, 2021

Subjects: High Energy Physics - Phenomenology (hep-ph); Programming Languages (cs.PL)

[60]  arXiv:2101.10491 (cross-list from math.CT) [pdf, ps, other]

Title: Categorical semantics of a simple differential programming language

Authors: Geoffrey Cruttwell, Jonathan Gallagher, Dorette Pronk

Comments: In Proceedings ACT 2020, arXiv:2101.07888

Journal-ref: EPTCS 333, 2021, pp. 289-310

Subjects: Category Theory (math.CT); Programming Languages (cs.PL)