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

Programming Languages

Authors and titles for recent submissions

[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 15 Nov 2019

[1]  arXiv:1911.06153 [pdf, ps, other]
Title: Kind Inference for Datatypes: Technical Supplement
Comments: Technical supplement for POPL2020 paper Kind Inference for Datatypes
Subjects: Programming Languages (cs.PL)
[2]  arXiv:1911.05900 (cross-list from cs.DB) [html]
Title: Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan
Comments: Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan
Subjects: Databases (cs.DB); Programming Languages (cs.PL)
[3]  arXiv:1911.05839 (cross-list from cs.DC) [pdf, other]
Title: Compile-time Parallelization of Subscripted Subscript Patterns
Comments: 15 pages , 10 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

Thu, 14 Nov 2019

[4]  arXiv:1911.05660 (cross-list from cs.DC) [pdf, other]
Title: Enhancing Programmability, Portability, and Performance with Rich Cross-Layer Abstractions
Comments: PhD thesis
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

Wed, 13 Nov 2019

[5]  arXiv:1911.04631 [pdf, ps, other]
Title: Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Authors: Satoshi Egi
Comments: 18 pages, Scheme and Functional Programming Workshop 2019
Subjects: Programming Languages (cs.PL)
[6]  arXiv:1911.04588 [pdf, other]
Title: Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)
Comments: POPL 2020
Journal-ref: Proc. ACM Program. Lang. 4, POPL, Article 15 (January 2020)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[7]  arXiv:1911.04560 [pdf, ps, other]
Title: Existential Types for Relaxed Noninterference
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)
[8]  arXiv:1911.04523 [pdf, ps, other]
Title: A Simple Differentiable Programming Language
Comments: In POPL2020
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[9]  arXiv:1911.04732 (cross-list from cs.LO) [pdf, ps, other]
Title: Smart Contract Interactions in Coq
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[10]  arXiv:1911.04710 (cross-list from cs.AI) [pdf, other]
Title: Aplib: Tactical Programming of Intelligent Agents
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Tue, 12 Nov 2019

[11]  arXiv:1911.04091 [pdf, other]
Title: Program Synthesis by Type-Guided Abstraction Refinement
Subjects: Programming Languages (cs.PL)
[12]  arXiv:1911.03926 [pdf, ps, other]
Title: Gemini: A Functional Programming Language for Hardware Description
Subjects: Programming Languages (cs.PL)
[13]  arXiv:1911.03807 [pdf, other]
Title: Synthesis of coordination programs from linear temporal logic
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[14]  arXiv:1911.04422 (cross-list from cs.SE) [pdf, other]
Title: Draw This Object: A Study of Debugging Representations
Journal-ref: Companion of the 3rd International Conference on Art, Science, and Engineering of Programming (Programming '19), ACM, 2019
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[15]  arXiv:1911.04026 (cross-list from cs.LO) [pdf, ps, other]
Title: A generic imperative language for polynomial time
Authors: Daniel Leivant
Comments: 18 pages, submitted to a conference
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL); Logic (math.LO)

Mon, 11 Nov 2019

[16]  arXiv:1911.03262 [pdf, other]
Title: ROSY: An elegant language to teach the pure reactive nature of robot programming
Subjects: Programming Languages (cs.PL); Robotics (cs.RO)
[17]  arXiv:1911.02624 (cross-list from cs.LG) [pdf, other]
Title: Data Generation for Neural Programming by Example
Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Programming Languages (cs.PL); Machine Learning (stat.ML)
[18]  arXiv:1911.02564 (cross-list from cs.SE) [pdf, other]
Title: Formality in Software Requirements
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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