Programming Languages

Authors and titles for February 2023

[1] arXiv:2302.00513 [pdf, other]

Title: Exact Probabilistic Inference Using Generating Functions

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

Title: Ideas for the future of Prolog inspired by Oz

Peter Van Roy, Seif Haridi

Comments: 15 pages, 0 figures

Subjects: Programming Languages (cs.PL)

[3] arXiv:2302.01415 [pdf, other]

Title: A Framework for Higher-Order Effects & Handlers

Birthe van den Berg, Tom Schrijvers

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

[4] arXiv:2302.01885 [pdf, other]

Title: The Quantum Effect: A Recipe for QuantumPi

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

Title: Hybrid Multiparty Session Types -- Full Version

Lorenzo Gheri, Nobuko Yoshida

Subjects: Programming Languages (cs.PL)

[6] arXiv:2302.02462 [pdf, other]

Title: The Marriage of Effects and Rewrites

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

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

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

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

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

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

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

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

Title: An Evaluation Algorithm for Datalog with Equality

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

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca

Subjects: Programming Languages (cs.PL)

[16] arXiv:2302.08200 [pdf, other]

Title: Weak Similarity in Higher-Order Mathematical Operational Semantics

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

Simon Peyton Jones, Sebastian Graf

Comments: Rejected from ICFP 2022; lack of novelty, too heavy on code that is "tiresome boilerplate". Accepted for a Festschrift in honour of Alan Mycroft

Subjects: Programming Languages (cs.PL)

[18] arXiv:2302.09403 [pdf, other]

Title: Functional Programming and Streams

John MacCormick

Subjects: Programming Languages (cs.PL)

[19] arXiv:2302.10003 [pdf, other]

Title: Technical Dimensions of Programming Systems

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

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

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

Title: Profiling and Optimizing Java Streams

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

Title: Tail recursion transformation for invertible functions

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

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

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

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

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

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)