Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Programming Languages

Authors and titles for recent submissions

See today's new changes

Total of 17 entries
Showing up to 25 entries per page: fewer | more | all

Wed, 30 Oct 2024 (showing 3 of 3 entries )

[8] arXiv:2410.22002 [pdf, html, other]
Title: Critical Semantic Properties of Music Notation Datasets
Markus Lepper, Baltasar Trancón y Widemann
Comments: Held on the MEC conference 2024, Trenton, TX
Subjects: Programming Languages (cs.PL)
[9] arXiv:2410.22261 (cross-list from cs.LO) [pdf, other]
Title: Proto-Quipper with Reversing and Control
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Quantum Physics (quant-ph)
[10] arXiv:2410.21889 (cross-list from math.CT) [pdf, other]
Title: Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
Matteo Capucci, David Jaz Myers
Comments: 84 pages
Subjects: Category Theory (math.CT); Programming Languages (cs.PL)

Tue, 29 Oct 2024 (showing 6 of 6 entries )

[11] arXiv:2410.20225 [pdf, html, other]
Title: Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
Kelly Kostopoulou, Angelos Charalambidis, Panos Rondogiannis
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[12] arXiv:2410.19927 [pdf, html, other]
Title: Scheduling Languages: A Past, Present, and Future Taxonomy
Mary Hall, Cosmin Oancea, Anne C. Elster, Ari Rasch, Sameeran Joshi, Amir Mohammad Tavakkoli, Richard Schulze
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF)
[13] arXiv:2410.20527 (cross-list from cs.DC) [pdf, other]
Title: CodeRosetta: Pushing the Boundaries of Unsupervised Code Translation for Parallel Programming
Ali TehraniJamsaz, Arijit Bhattacharjee, Le Chen, Nesreen K. Ahmed, Amir Yazdanbakhsh, Ali Jannesari
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Performance (cs.PF); Programming Languages (cs.PL); Software Engineering (cs.SE)
[14] arXiv:2410.19940 (cross-list from cs.LO) [pdf, html, other]
Title: Cobblestone: Iterative Automation for Formal Verification
Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, Emily First
Comments: 13 pages, 10 figures
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[15] arXiv:2410.19849 (cross-list from cs.LG) [pdf, html, other]
Title: Deep Learning and Machine Learning -- Python Data Structures and Mathematics Fundamental: From Theory to Practice
Silin Chen, Ziqian Bi, Junyu Liu, Benji Peng, Sen Zhang, Xuanhe Pan, Jiawei Xu, Jinlang Wang, Keyu Chen, Caitlyn Heqi Yin, Pohsun Feng, Yizhu Wen, Tianyang Wang, Ming Li, Jintao Ren, Qian Niu, Ming Liu
Comments: 298 pages
Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)
[16] arXiv:2410.19738 (cross-list from cs.AI) [pdf, html, other]
Title: Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
Anil Nerode, Yanhong A. Liu
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Mon, 28 Oct 2024 (showing 1 of 1 entries )

[17] arXiv:2410.19135 (cross-list from cs.AI) [pdf, html, other]
Title: PDL: A Declarative Prompt Programming Language
Mandana Vaziri, Louis Mandel, Claudio Spiess, Martin Hirzel
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
Total of 17 entries
Showing up to 25 entries per page: fewer | more | all