Programming Languages

Authors and titles for cs.PL in Aug 2022

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

Title: Typed SLD-Resolution: Dynamic Typing for Logic Programming

Authors: João Barbosa, Mário Florido, Vítor Santos Costa

Comments: 17 pages

Subjects: Programming Languages (cs.PL)

[2]  arXiv:2208.00315 [pdf, other]

Title: Implementing and Verifying Release-Acquire Transactional Memory (Extended Version)

Authors: Sadegh Dalvandi, Brijesh Dongol

Subjects: Programming Languages (cs.PL)

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

Title: Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics

Authors: Tian Tan, Yue Li

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

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

Title: Design and Implementation of ShenWei Universal C/C++

Authors: Huanqi Cao, Jiajie Chen

Subjects: Programming Languages (cs.PL)

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

Title: Recurrence extraction and denotational semantics with recursive definitions

Authors: Norman Danner

Subjects: Programming Languages (cs.PL)

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

Title: Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)

Authors: Alicia Villanueva

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

[7]  arXiv:2208.04238 [pdf, other]

Title: POSET-RL: Phase ordering for Optimizing Size and Execution Time using Reinforcement Learning

Authors: Shalini Jain, Yashas Andaluri, S. VenkataKeerthy, Ramakrishna Upadrasta

Comments: Published in ISPASS-2022

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

[8]  arXiv:2208.04630 [pdf, other]

Title: The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics

Authors: Eduard Kamburjan (University of Oslo, Oslo, Norway), Nathan Wasser (Sharpmind, Frankfurt, Germany)

Comments: In Proceedings ICE 2022, arXiv:2208.04086. arXiv admin note: substantial text overlap with arXiv:2110.01964

Journal-ref: EPTCS 365, 2022, pp. 1-16

Subjects: Programming Languages (cs.PL)

[9]  arXiv:2208.04631 [pdf, other]

Title: Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules

Authors: Gerard Tabone, Adrian Francalanza

Comments: In Proceedings ICE 2022, arXiv:2208.04086

Journal-ref: EPTCS 365, 2022, pp. 17-36

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

[10]  arXiv:2208.04632 [pdf, other]

Title: Branching Pomsets for Choreographies

Authors: Luc Edixhoven (Open University (Heerlen) and CWI (Amsterdam), Netherlands), Sung-Shik Jongmans (Open University (Heerlen) and CWI (Amsterdam), Netherlands), José Proença (CISTER, ISEP, Polytechnic Institute of Porto, Portugal), Guillermina Cledou (HASLab, INESC TEC and University of Minho, Portugal)

Comments: In Proceedings ICE 2022, arXiv:2208.04086

Journal-ref: EPTCS 365, 2022, pp. 37-52

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