Programming Languages

Authors and titles for January 2020

[1] arXiv:2001.01337 [pdf, other]

Title: A Diagrammatic Calculus for Algebraic Effects

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

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

Comments: 34 pages, 12 figures

Subjects: Programming Languages (cs.PL)

[3] arXiv:2001.02209 [pdf, other]

Title: Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

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, other]

Title: Deep Static Modeling of invokedynamic

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

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, other]

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

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, other]

Title: Monotone recursive types and recursive data representations in Cedille

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

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, other]

Title: SMT-Friendly Formalization of the Solidity Memory Model

Ákos Hajdu, Dejan Jovanović

Comments: Authors' manuscript. Published in P. Müller (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

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

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

Ankush Das, Frank Pfenning

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

[13] arXiv:2001.04961 [pdf, other]

Title: Atomicity Checking in Linear Time using Vector Clocks

Umang Mathur, Mahesh Viswanathan

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

[14] arXiv:2001.05059 [pdf, other]

Title: Gillian: Compositional Symbolic Execution for All

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, other]

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

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, other]

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

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

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

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, Volume 6 (2024) (February 23, 2024) compositionality:13530

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

[19] arXiv:2001.08045 [pdf, other]

Title: Profunctor optics and traversals

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, other]

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

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

Di Wang, Jan Hoffmann, Thomas Reps

Subjects: Programming Languages (cs.PL)

[22] arXiv:2001.10274 [pdf, other]

Title: Unifying graded and parameterised monads

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

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

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, other]

Title: Simplifying Casts and Coercions

Robert Y. Lewis, Paul-Nicolas Madelaine

Subjects: Programming Languages (cs.PL)