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 ]

Fri, 6 Dec 2019

[1]  arXiv:1912.02499 [pdf, other]
Title: Perfectly Parallel Fairness Certification of Neural Networks
Subjects: Programming Languages (cs.PL); Computers and Society (cs.CY); Logic in Computer Science (cs.LO)
[2]  arXiv:1912.02250 [pdf, other]
Title: A Verified Optimizer for Quantum Circuits
Comments: This paper supercedes arXiv:1904.06319
Subjects: Programming Languages (cs.PL); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[3]  arXiv:1912.02211 (cross-list from cs.LO) [pdf, other]
Title: A Constructive Formalization of the Weak Perfect Graph Theorem
Comments: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Programming Languages (cs.PL)

Thu, 5 Dec 2019

[4]  arXiv:1912.01914 (cross-list from cs.LO) [pdf, ps, other]
Title: A Quantitative Understanding of Pattern Matching
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Wed, 4 Dec 2019

[5]  arXiv:1912.01289 [pdf, other]
Title: A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Comments: In Press
Journal-ref: Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

Tue, 3 Dec 2019

[6]  arXiv:1912.00981 [pdf, other]
Title: Proving Data-Poisoning Robustness in Decision Trees
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[7]  arXiv:1912.00781 [pdf, ps, other]
Title: Experiments with a PCCoder extension
Comments: 12 pages
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Software Engineering (cs.SE)
[8]  arXiv:1912.00867 (cross-list from math.NA) [pdf, other]
Title: A Probabilistic Approach to Floating Point Arithmetic
Comments: 9 pages, 6 figures
Subjects: Numerical Analysis (math.NA); Programming Languages (cs.PL)
[9]  arXiv:1912.00429 (cross-list from cs.SE) [pdf, other]
Title: PointEval: On the Impact of Pointer Analysis Frameworks
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

Mon, 2 Dec 2019 (showing first 1 of 5 entries)

[10]  arXiv:1911.12932 [pdf, other]
Title: Juniper: A Functional Reactive Programming Language for the Arduino
Comments: 9 pages, ICFP FARM 2016
Journal-ref: Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design, 2016
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, 1912, contact, help  (Access key information)