Programming Languages

Authors and titles for cs.PL in Jan 2020

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

Title: A Diagrammatic Calculus for Algebraic Effects

Authors: Ugo Dal Lago, Francesco Gavazzo

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[2]  arXiv:2001.02031 [pdf, other]

Title: Retentive Lenses

Authors: Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu

Comments: 34 pages, 12 figures

Subjects: Programming Languages (cs.PL)

[3]  arXiv:2001.02209 [pdf, ps, other]

Title: Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Authors: Mathieu Huot, Sam Staton, Matthijs Vákár

Comments: Proceedings of FoSSaCS 2020

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[4]  arXiv:2001.02545 [pdf, ps, other]

Title: Deep Static Modeling of invokedynamic

Authors: George Fourtounis, Yannis Smaragdakis

Journal-ref: ECOOP 2019

Subjects: Programming Languages (cs.PL)

[5]  arXiv:2001.02630 [pdf, other]

Title: Albert, an intermediate smart-contract language for the Tezos blockchain

Authors: Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson

Comments: 15 pages. arXiv admin note: text overlap with arXiv:1909.08671

Subjects: Programming Languages (cs.PL)

[6]  arXiv:2001.02659 [pdf, ps, other]

Title: An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction

Authors: Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic

Comments: To be published in CPP 2020

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[7]  arXiv:2001.02828 [pdf, ps, other]

Title: Monotone recursive types and recursive data representations in Cedille

Authors: Christopher Jenkins, Aaron Stump

Journal-ref: Math. Struct. Comp. Sci. 31 (2021) 682-745

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[8]  arXiv:2001.02981 [pdf, other]

Title: Automatic generation and verification of test-stable floating-point code

Authors: Laura Titolo, Mariano Moscato, Cesar A. Muñoz

Comments: 32 pages. arXiv admin note: text overlap with arXiv:1808.04289

Subjects: Programming Languages (cs.PL); Numerical Analysis (math.NA)

[9]  arXiv:2001.03256 [pdf, ps, other]

Title: SMT-Friendly Formalization of the Solidity Memory Model

Authors: Ákos Hajdu, Dejan Jovanović

Comments: Authors' manuscript. Published in P. M\"uller (Ed.): ESOP 2020, LNCS 12075, 2020. The final publication is available at Springer via this https URL

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[10]  arXiv:2001.03541 [pdf, other]

Title: Multi-layer Optimizations for End-to-End Data Analytics

Authors: Amir Shaikhha, Maximilian Schleich, Alexandru Ghita, Dan Olteanu

Subjects: Programming Languages (cs.PL); Databases (cs.DB); Machine Learning (cs.LG)

[11]  arXiv:2001.04301 [pdf, other]

Title: Tabled Typeclass Resolution

Authors: Daniel Selsam, Sebastian Ullrich, Leonardo de Moura

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[12]  arXiv:2001.04439 [pdf, other]

Title: Session Types with Arithmetic Refinements and Their Application to Work Analysis

Authors: Ankush Das, Frank Pfenning

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[13]  arXiv:2001.04961 [pdf, ps, other]

Title: Atomicity Checking in Linear Time using Vector Clocks

Authors: Umang Mathur, Mahesh Viswanathan

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[14]  arXiv:2001.05059 [pdf, ps, other]

Title: Gillian: Compositional Symbolic Execution for All

Authors: José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, Philippa Gardner

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[15]  arXiv:2001.06163 [pdf, ps, other]

Title: Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems

Authors: Alessandro Aldini (University of Urbino), Herbert Wiklicky (Imperial College London)

Journal-ref: EPTCS 312, 2020

Subjects: Programming Languages (cs.PL); Computer Science and Game Theory (cs.GT); Information Theory (cs.IT); Logic in Computer Science (cs.LO)

[16]  arXiv:2001.06942 [pdf, ps, other]

Title: Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond

Authors: Alessandro Aldini (University of Urbino)

Comments: In Proceedings QAPL 2019, arXiv:2001.06163

Journal-ref: EPTCS 312, 2020, pp. 1-19

Subjects: Programming Languages (cs.PL); Information Theory (cs.IT); Logic in Computer Science (cs.LO)

[17]  arXiv:2001.06943 [pdf, other]

Title: Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses

Authors: Maja Hanne Kirkeby (Computer Science, Roskilde University, Denmark)

Comments: In Proceedings QAPL 2019, arXiv:2001.06163

Journal-ref: EPTCS 312, 2020, pp. 43-57

Subjects: Programming Languages (cs.PL)

[18]  arXiv:2001.07488 [pdf, other]

Title: Profunctor Optics, a Categorical Update

Authors: Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román

Comments: 38 pages. Final version with Compositionality metadata, does not change theorem numbering

Journal-ref: Compositionality 6, 1 (2024)

Subjects: Programming Languages (cs.PL); Category Theory (math.CT)

[19]  arXiv:2001.08045 [pdf, other]

Title: Profunctor optics and traversals

Authors: Mario Román

Comments: Submitted as a thesis for MSc Mathematics and Foundations of Computer Science, University of Oxford 2019. The work on the article "Profunctor optics, a categorical update" started in this MSc dissertation. 82 pages

Subjects: Programming Languages (cs.PL); Category Theory (math.CT)

[20]  arXiv:2001.08133 [pdf, ps, other]

Title: Drawing Prolog Search Trees: A Manual for Teachers and Students of Logic Programming

Authors: Johan Bos

Comments: 20 pages, 8 listings, 7 figures

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[21]  arXiv:2001.10150 [pdf, other]

Title: Central Moment Analysis for Cost Accumulators in Probabilistic Programs

Authors: Di Wang, Jan Hoffmann, Thomas Reps

Subjects: Programming Languages (cs.PL)

[22]  arXiv:2001.10274 [pdf, other]

Title: Unifying graded and parameterised monads

Authors: Dominic Orchard (University of Kent), Philip Wadler (University of Edinburgh), Harley Eades III (Augusta University)

Comments: In Proceedings MSFP 2020, arXiv:2004.14735

Journal-ref: EPTCS 317, 2020, pp. 18-38

Subjects: Programming Languages (cs.PL); Category Theory (math.CT)

[23]  arXiv:2001.10328 [pdf, other]

Title: Verification of a Generative Separation Kernel

Authors: Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu

Subjects: Programming Languages (cs.PL)

[24]  arXiv:2001.10490 [pdf, other]

Title: Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Authors: Sebastian Ullrich, Leonardo de Moura

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 2 (April 13, 2022) lmcs:7421

Subjects: Programming Languages (cs.PL)

[25]  arXiv:2001.10594 [pdf, ps, other]

Title: Simplifying Casts and Coercions

Authors: Robert Y. Lewis, Paul-Nicolas Madelaine

Subjects: Programming Languages (cs.PL)