Programming Languages

Authors and titles for cs.PL in Dec 2021, skipping first 50

[51]  arXiv:2112.12398 (cross-list from cs.SE) [pdf, other]

Title: Towards Fully Declarative Program Analysis via Source Code Transformation

Authors: Rijnard van Tonder

Comments: 7 pages, 5 figures

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

[52]  arXiv:2112.12508 (cross-list from cs.SE) [pdf, other]

Title: From Procedures, Objects, Actors, Components, Services, to Agents -- A Comparative Analysis of the History and Evolution of Programming Abstractions

Authors: Jean-Pierre Briot

Comments: This preprint has been published as a chapter of a book about the French school of programming, coordinated by Bertrand Meyer and published by Springer in 2024

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

[53]  arXiv:2112.13746 (cross-list from cs.LO) [pdf, ps, other]

Title: Proceedings 37th Conference on Mathematical Foundations of Programming Semantics

Authors: Ana Sokolova (University of Salzburg)

Journal-ref: EPTCS 351, 2021

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

[54]  arXiv:2112.14305 (cross-list from cs.LO) [pdf, ps, other]

Title: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications

Authors: Ugo Dal Lago (University of Bologna), Valeria de Paiva (Topos Institute)

Journal-ref: EPTCS 353, 2021

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

[55]  arXiv:2112.14965 (cross-list from cs.LO) [pdf, ps, other]

Title: A Braided Lambda Calculus

Authors: Masahito Hasegawa (Kyoto University)

Comments: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305

Journal-ref: EPTCS 353, 2021, pp. 94-108

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

[56]  arXiv:2112.15491 (cross-list from cs.CR) [pdf, other]

Title: Semantics-Recovering Decompilation through Neural Machine Translation

Authors: Ruigang Liang, Ying Cao, Peiwei Hu, Jinwen He, Kai Chen

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

[57]  arXiv:2112.06700 (cross-list from quant-ph) [pdf, other]

Title: Verified Compilation of Quantum Oracles

Authors: Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks

Comments: Version 2 includes updates to presentation and support for AQFT

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

[58]  arXiv:2112.10677 (cross-list from quant-ph) [pdf, ps, other]

Title: Quantum Circuit Transformations with a Multi-Level Intermediate Representation Compiler

Authors: Thien Nguyen, Dmitry Lyakh, Raphael C. Pooser, Travis S. Humble, Timothy Proctor, Mohan Sarovar

Comments: These methods are implemented and available for download at github.com/ORNL-QCI/qcor

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