Programming Languages

Authors and titles for recent submissions, skipping first 10

[ total of 17 entries: 1-10 | 11-17 ]
[ showing 10 entries per page: fewer | more | all ]

[11] arXiv:2404.13359 (cross-list from cs.DB) [pdf, other]: Title: Declarative Concurrent Data Structures

Authors: Aun Raza, Hamish Nicholson, Ioanna Tsakalidou, Anna Herlihy, Prathamesh Tagore, Anastasia Ailamaki

Subjects: Databases (cs.DB); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

[12] arXiv:2404.12934 [pdf, ps, other]: Title: AuDaLa is Turing Complete

Authors: Tom T.P. Franken, Thomas Neele

Comments: To be published in the proceedings of FORTE 2024. This version contains the appendices as referred to in the version to be published

Subjects: Programming Languages (cs.PL)
[13] arXiv:2404.12747 [pdf, other]: Title: Customizing Static Analysis using Codesearch

Authors: Avi Hayoun, Veselin Raychev, Jack Hair

Comments: 34 pages, 2 figures

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[14] arXiv:2404.12608 (cross-list from cs.DB) [pdf, other]: Title: Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations

Authors: Sibei Chen, Yeye He, Weiwei Cui, Ju Fan, Song Ge, Haidong Zhang, Dongmei Zhang, Surajit Chaudhuri

Comments: full version of a paper to appear in SIGMOD 2024

Subjects: Databases (cs.DB); Computation and Language (cs.CL); Programming Languages (cs.PL)
[15] arXiv:2404.12603 (cross-list from quant-ph) [pdf, other]: Title: Qwerty: A Basis-Oriented Quantum Programming Language

Authors: Austin J. Adams, Sharjeel Khan, Jeffrey S. Young, Thomas M. Conte

Comments: 30 pages, 27 figures

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

[16] arXiv:2404.10952 (cross-list from cs.CL) [pdf, other]: Title: Can Language Models Solve Olympiad Programming?

Authors: Quan Shi, Michael Tang, Karthik Narasimhan, Shunyu Yao

Comments: Code and data: this https URL

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

[17] arXiv:2404.10250 [pdf, other]: Title: AniFrame: A Programming Language for 2D Drawing and Frame-Based Animation

Authors: Mark Edward M. Gonzales, Hans Oswald A. Ibrahim, Elyssia Barrie H. Ong, Ryan Austin Fernandez

Comments: Accepted for paper presentation at the 24th Philippine Computing Science Congress (PCSC 2024), held in Laguna, Philippines

Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC); Multimedia (cs.MM)

[ total of 17 entries: 1-10 | 11-17 ]
[ showing 10 entries per page: fewer | more | all ]