Programming Languages

Authors and titles for cs.PL in Feb 2023

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

Title: Exact Probabilistic Inference Using Generating Functions

Authors: Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen

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

[2]  arXiv:2302.00558 [pdf, ps, other]

Title: Ideas for the future of Prolog inspired by Oz

Authors: Peter Van Roy, Seif Haridi

Comments: 15 pages, 0 figures

Subjects: Programming Languages (cs.PL)

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

Title: A Framework for Higher-Order Effects & Handlers

Authors: Birthe van den Berg, Tom Schrijvers

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

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

Title: The Quantum Effect: A Recipe for QuantumPi

Authors: Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

Comments: This version: fix some strange characters and missing 'inv' in two of the Frobenius laws

Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)

[5]  arXiv:2302.01979 [pdf, ps, other]

Title: Hybrid Multiparty Session Types -- Full Version

Authors: Lorenzo Gheri, Nobuko Yoshida

Subjects: Programming Languages (cs.PL)

[6]  arXiv:2302.02462 [pdf, other]

Title: The Marriage of Effects and Rewrites

Authors: Ezra e. k. Cooper

Comments: 15 pages, 2 figures. Submitted to FSCD 2023

Subjects: Programming Languages (cs.PL)

[7]  arXiv:2302.02473 [pdf, other]

Title: Level-p-complexity of Boolean Functions using Thinning, Memoization, and Polynomials

Authors: Julia Jansson, Patrik Jansson

Comments: 22 pages, 10 figures

Subjects: Programming Languages (cs.PL); Probability (math.PR)

[8]  arXiv:2302.03927 [pdf, other]

Title: On the Applicability of Language Models to Block-Based Programs

Authors: Elisabeth Griebl, Benedikt Fein, Florian Obermüller, Gordon Fraser, René Just

Comments: To appear at the 45th IEEE/ACM International Conference on Software Engineering (ICSE'2023)

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

[9]  arXiv:2302.04661 [pdf, other]

Title: Proving Correctness of Parallel Implementations of Transition System Specifications

Authors: Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

Subjects: Programming Languages (cs.PL)

[10]  arXiv:2302.04662 [pdf, other]

Title: Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models

Authors: Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares

Comments: Published in International Conference on Educational Data Mining (EDM) 2023

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[11]  arXiv:2302.04666 [pdf, other]

Title: Understand Code Style: Efficient CNN-based Compiler Optimization Recognition System

Authors: Shouguo Yang, Zhiqiang Shi, Guodong Zhang, Mingxuan Li, Yuan Ma, Limin Sun

Subjects: Programming Languages (cs.PL)

[12]  arXiv:2302.04926 [pdf, other]

Title: COOLIO: A Language Support Extension for the Classroom Object Oriented Language

Authors: Linhan Li, ThanhVu Nguyen

Comments: 4 pages, 4 figures. This extension is available from this https URL

Subjects: Programming Languages (cs.PL)

[13]  arXiv:2302.05331 [pdf, other]

Title: C-rusted: The Advantages of Rust, in C, without the Disadvantages

Authors: Roberto Bagnara, Abramo Bagnara, Federico Serafini

Comments: 12 pages, 12 figures

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

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

Title: An Evaluation Algorithm for Datalog with Equality

Authors: Martin E. Bidlingmaier

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

[15]  arXiv:2302.07782 [pdf, other]

Title: Multi-graded Featherweight Java

Authors: Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca

Subjects: Programming Languages (cs.PL)

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

Title: Weak Similarity in Higher-Order Mathematical Operational Semantics

Authors: Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder

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

[17]  arXiv:2302.08775 [pdf, other]

Title: Triemaps that match

Authors: Simon Peyton Jones, Sebastian Graf

Comments: Rejected from ICFP 2022; lack of novelty, too heavy on code that is "tiresome boilerplate"

Subjects: Programming Languages (cs.PL)

[18]  arXiv:2302.09403 [pdf, ps, other]

Title: Functional Programming and Streams

Authors: John MacCormick

Subjects: Programming Languages (cs.PL)

[19]  arXiv:2302.10003 [pdf, ps, other]

Title: Technical Dimensions of Programming Systems

Authors: Joel Jakubovic (University of Kent, UK), Jonathan Edwards (n.n., n.n.), Tomas Petricek (University of Kent, UK / Charles University, Czechia)

Journal-ref: The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 13

Subjects: Programming Languages (cs.PL)

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

Title: Black Boxes, White Noise: Similarity Detection for Neural Functions

Authors: Farima Farmahinifarahani (University of California at Irvine, USA), Cristina V. Lopes (University of California at Irvine, USA)

Journal-ref: The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 12

Subjects: Programming Languages (cs.PL)

[21]  arXiv:2302.10006 [pdf, ps, other]

Title: Profiling and Optimizing Java Streams

Authors: Eduardo Rosales (USI Lugano, Switzerland), Matteo Basso (USI Lugano, Switzerland), Andrea Rosà (USI Lugano, Switzerland), Walter Binder (USI Lugano, Switzerland)

Journal-ref: The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 10

Subjects: Programming Languages (cs.PL)

[22]  arXiv:2302.10049 [pdf, ps, other]

Title: Tail recursion transformation for invertible functions

Authors: Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

Comments: Submitted to 15th Conference on Reversible Computation, 2023

Subjects: Programming Languages (cs.PL)

[23]  arXiv:2302.10098 [pdf, ps, other]

Title: Control Flow Duplication for Columnar Arrays in a Dynamic Compiler

Authors: Sebastian Kloibhofer (Johannes Kepler University Linz, Austria), Lukas Makor (Johannes Kepler University Linz, Austria), David Leopoldseder (Oracle Labs, Austria), Daniele Bonetta (Oracle Labs, Netherlands), Lukas Stadler (Oracle Labs, Austria), Hanspeter Mössenböck (Johannes Kepler University Linz, Austria)

Journal-ref: The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 9

Subjects: Programming Languages (cs.PL)

[24]  arXiv:2302.10636 [pdf, ps, other]

Title: $ω$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs

Authors: Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton

Comments: 11 figures, 10 pages main paper + 13 pages of appendices

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

[25]  arXiv:2302.10812 [pdf, other]

Title: On ML-Based Program Translation: Perils and Promises

Authors: Aniketh Malyala, Katelyn Zhou, Baishakhi Ray, Saikat Chakraborty

Comments: 5 pages, 2 figures. Accepted at ICSE 2023 NIER - New Ideas and Emerging Results

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