Programming Languages

Authors and titles for cs.PL in Mar 2024, skipping first 75

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

Title: Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems

Authors: Frédéric Lang (INRIA Grenoble Rhône-Alpes, France), Matthias Volk (Eindhoven University of Technology, The Netherlands)

Journal-ref: EPTCS 399, 2024

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

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

Title: Algorithmic Details behind the Predator Shape Analyser

Authors: Kamil Dudka, Petr Muller, Petr Peringer, Veronika Šoková, Tomáš Vojnar

Comments: Book chapter preview

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

[78]  arXiv:2403.18723 (cross-list from cs.LO) [pdf, other]

Title: Four Formal Models of IEEE 1394 Link Layer

Authors: Hubert Garavel (Univ. Grenoble Alpes, INRIA, CNRS, Grenoble INP, LIG, Grenoble, France), Bas Luttik (Eindhoven University of Technology, The Netherlands)

Comments: In Proceedings MARS 2024, arXiv:2403.17862

Journal-ref: EPTCS 399, 2024, pp. 21-100

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

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

Title: Top Leaderboard Ranking = Top Coding Proficiency, Always? EvoEval: Evolving Coding Benchmarks via LLM

Authors: Chunqiu Steven Xia, Yinlin Deng, Lingming Zhang

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL)

[80]  arXiv:2403.19462 (cross-list from cs.LG) [pdf, other]

Title: Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization

Authors: Teodor V. Marinov, Alekh Agarwal, Mircea Trofin

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

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

Title: A formal specification of the jq language

Authors: Michael Färber

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

[82]  arXiv:2403.01939 (cross-list from math.CT) [pdf, other]

Title: A Type Theory with a Tiny Object

Authors: Mitchell Riley

Comments: 29 pages

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

[83]  arXiv:2403.10447 (cross-list from math.CT) [pdf, ps, other]

Title: Free Doubly-Infinitary Distributive Categories are Cartesian Closed

Authors: Fernando Lucatelli Nunes, Matthijs Vákár

Comments: 16 pages, minor, corrected some typos, added references

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Logic (math.LO)