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

Programming Languages

Authors and titles for recent submissions

[ total of 14 entries: 1-10 | 11-14 ]
[ showing 10 entries per page: fewer | more | all ]

Wed, 15 Jul 2020

[1]  arXiv:2007.06760 [pdf, ps, other]
Title: Synthesis in Uclid5
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2007.07047 (cross-list from cs.SE) [pdf, other]
Title: Quantum Software Engineering: Landscapes and Horizons
Authors: Jianjun Zhao
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL); Quantum Physics (quant-ph)
[3]  arXiv:2007.06835 (cross-list from cs.LG) [pdf, other]
Title: Programming by Rewards
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE); Machine Learning (stat.ML)
[4]  arXiv:2007.06677 (cross-list from cs.SE) [pdf, ps, other]
Title: Gradient Descent over Metagrammars for Syntax-Guided Synthesis
Comments: 4 pages, SYNT 2020
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)

Tue, 14 Jul 2020

[5]  arXiv:2007.05569 [pdf, ps, other]
Title: Conditional Lower Bound for Inclusion-Based Points-to Analysis
Authors: Qirun Zhang
Subjects: Programming Languages (cs.PL)
[6]  arXiv:2007.06421 (cross-list from cs.LO) [pdf, ps, other]
Title: Thirty-seven years of relational Hoare logic: remarks on its principles and history
Authors: David A. Naumann
Comments: Submitted to ISOLA 2020
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[7]  arXiv:2007.06327 (cross-list from cs.LO) [pdf, ps, other]
Title: Generating Functions for Probabilistic Programs
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[8]  arXiv:2007.06093 (cross-list from cs.LG) [pdf, other]
Title: Abstract Universal Approximation for Neural Networks
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Machine Learning (stat.ML)

Mon, 13 Jul 2020

[9]  arXiv:2007.05283 [pdf, ps, other]
Title: Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
Authors: Matthijs Vákár
Subjects: Programming Languages (cs.PL)
[10]  arXiv:2007.05282 [pdf, ps, other]
Title: Denotational Correctness of Foward-Mode Automatic Differentiation for Iteration and Recursion
Authors: Matthijs Vákár
Subjects: Programming Languages (cs.PL)
[ total of 14 entries: 1-10 | 11-14 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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