We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

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

[ total of 63 entries: 1-50 | 51-63 ]
[ showing 50 entries per page: fewer | more | all ]
[51]  arXiv:2101.10720 (cross-list from cs.LO) [pdf, ps, other]
Title: A program logic for fresh name generation
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
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
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
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
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
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
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
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
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
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)
[61]  arXiv:2101.11030 (cross-list from quant-ph) [pdf, other]
Title: Enabling Dataflow Optimization for Quantum Programs
Comments: 15 pages, 7 figures, 4 tables. To be published in ACM Transactions on Quantum Computing - Special Issue on Software Tools for Quantum Computing
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Programming Languages (cs.PL)
[62]  arXiv:2101.11365 (cross-list from quant-ph) [pdf, other]
Title: A MLIR Dialect for Quantum Assembly Languages
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)
[63]  arXiv:2101.12624 (cross-list from physics.med-ph) [pdf, ps, other]
Title: MRIReco.jl: An MRI Reconstruction Framework written in Julia
Subjects: Medical Physics (physics.med-ph); Programming Languages (cs.PL)
[ total of 63 entries: 1-50 | 51-63 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2206, contact, help  (Access key information)