Programming Languages

Authors and titles for recent submissions

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2206.12839 (cross-list from cs.LG) [pdf, other]: Title: Repository-Level Prompt Generation for Large Language Models of Code

Authors: Disha Shrivastava, Hugo Larochelle, Daniel Tarlow

Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)
[2] arXiv:2206.12795 (cross-list from cs.DS) [pdf, ps, other]: Title: Applications of Recursively Defined Data Structures

Authors: Lloyd Allison

Comments: The paper originally appeared in the Australian Computer Journal (ISSN 0004-8917). The journal was published by the Australian Computer Society from 1967 to 1999

Journal-ref: Australian Computer Journal, 25(1):14-20,February 1993

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

[3] arXiv:2206.11719 (cross-list from cs.CL) [pdf, other]: Title: AST-Probe: Recovering abstract syntax trees from hidden representations of pre-trained language models

Authors: José Antonio Hernández López, Martin Weyssow, Jesús Sánchez Cuadrado, Houari Sahraoui

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

[4] arXiv:2206.11192 [pdf, ps, other]: Title: Functional or imperative? On pleasant semantics for differentiable programming languages

Authors: Michael Innes

Subjects: Programming Languages (cs.PL)
[5] arXiv:2206.10893 [pdf, other]: Title: Decoupling the ascending and descending phases in Abstract Interpretation

Authors: Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella

Subjects: Programming Languages (cs.PL)
[6] arXiv:2206.10708 [pdf, other]: Title: FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation

Authors: Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long

Comments: 29 pages, 8 figures, technical report

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[7] arXiv:2206.10620 (cross-list from cs.LG) [pdf, other]: Title: CoCoPIE XGen: A Full-Stack AI-Oriented Optimizing Framework

Authors: Xiaofeng Li, Bin Ren, Xipeng Shen, Yanzhi Wang

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Programming Languages (cs.PL)

[8] arXiv:2206.09980 [pdf, ps, other]: Title: Semantic preservation for a type directed translation scheme of Featherweight Go

Authors: Martin Sulzmann, Stefan Wehr

Comments: 38 pages, includes appendix with full proofs

Subjects: Programming Languages (cs.PL)
[9] arXiv:2206.09534 [html]: Title: Proceedings Ninth Workshop on Mathematically Structured Functional Programming

Authors: Jeremy Gibbons (University of Oxford), Max S. New (University of Michigan)

Journal-ref: EPTCS 360, 2022

Subjects: Programming Languages (cs.PL)
[10] arXiv:2206.09376 (cross-list from quant-ph) [pdf, ps, other]: Title: Encoding High-level Quantum Programs as SZX-diagrams

Authors: Agustín Borgna, Rafael Romero

Comments: Accepted at QPL2022

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

[11] arXiv:2206.08760 [pdf, other]: Title: A Novel Loop Fission Technique Inspired by Implicit Computational Complexity

Authors: Clément Aubert, Thomas Rubiano (UP13), Neea Rusch, Thomas Seiller (CNRS, UP13)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[12] arXiv:2206.08849 (cross-list from cs.SE) [pdf, other]: Title: On the Bug-proneness of Structures Inspired by Functional Programming in JavaScript Projects

Authors: Fernando Alves, Delano Oliveira, Fernanda Madeiral, Fernando Castor

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[13] arXiv:2206.08768 (cross-list from cs.SE) [pdf, other]: Title: C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments

Authors: Pedro Orvalho, Mikoláš Janota, Vasco Manquinho

Comments: 3 pages, 3 tables, 1 GitHub url: this https URL

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Programming Languages (cs.PL)
[14] arXiv:2206.08434 (cross-list from cs.DC) [pdf, other]: Title: The Case for a Wholistic Serverless Programming Paradigm and Full Stack Automation for AI and Beyond -- The Philosophy of Jaseci and Jac

Authors: Jason Mars

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Programming Languages (cs.PL)

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]