Programming Languages

Authors and titles for recent submissions

• Fri, 15 Nov 2019
• Thu, 14 Nov 2019
• Wed, 13 Nov 2019
• Tue, 12 Nov 2019
• Mon, 11 Nov 2019

Fri, 15 Nov 2019

[1]  arXiv:1911.06153 [pdf, ps, other]

Title: Kind Inference for Datatypes: Technical Supplement

Authors: Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira

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

Authors: Soichiro Hidaka, Yasunori Ishihara, Zachary G. Ives

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

Authors: Akshay Bhosale, Rudolf Eigenmann

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

Authors: Nandita Vijaykumar

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)

Authors: G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner

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

Authors: Raimil Cruz, Éric Tanter

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[8]  arXiv:1911.04523 [pdf, ps, other]

Title: A Simple Differentiable Programming Language

Authors: Martin Abadi, Gordon D. Plotkin

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

Authors: Jakob Botsch Nielsen, Bas Spitters

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

Authors: I. S. W. B. Prasetya

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

Authors: Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova

Subjects: Programming Languages (cs.PL)

[12]  arXiv:1911.03926 [pdf, ps, other]

Title: Gemini: A Functional Programming Language for Hardware Description

Authors: Aditya Srinivasan, Andrew D. Hilton

Subjects: Programming Languages (cs.PL)

[13]  arXiv:1911.03807 [pdf, other]

Title: Synthesis of coordination programs from linear temporal logic

Authors: Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

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

Authors: Matúš Sulír, Ján Juhár

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

Authors: Hugo Pacheco, Nuno Macedo

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

Authors: Judith Clymo, Haik Manukian, Nathanaël Fijalkow, Adrià Gascón, Brooks Paige

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

Authors: Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

• Fri, 15 Nov 2019
• Thu, 14 Nov 2019
• Wed, 13 Nov 2019
• Tue, 12 Nov 2019
• Mon, 11 Nov 2019