色胆包天！美军官网上勾搭俄军电视台美女主播

Authors and titles for recent submissions

• Wed, 6 Aug 2025
• Tue, 5 Aug 2025
• Mon, 4 Aug 2025
• Fri, 1 Aug 2025
• Thu, 31 Jul 2025

百度 要坚持高质量发展，提升平台协同、商贸物流、电子商务、会展经济、营商环境等质量；坚持创新驱动，把握好自贸试验区建设、智能商务工程、发展新型零售业等重点工作；坚持深化改革，做好供给侧结构性改革、开放型经济体制改革等；坚持消费拉动经济的基础性作用，促进消费提档升级；深入实施内陆开放高地建设行动计划，加快建设内陆开放高地。

See today's new changes

Wed, 6 Aug 2025 (showing 11 of 11 entries )

[1] arXiv:2508.03640 [pdf, other]

Title: Teaching Introductory Functional Programming Using Haskelite

Pedro Vasconcelos (University of Porto)

Comments: In Proceedings TFPiE 2025, arXiv:2508.02305

Journal-ref: EPTCS 424, 2025, pp. 49-66

Subjects: Programming Languages (cs.PL)

[2] arXiv:2508.03558 [pdf, html, other]

Title: SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation

M Zafir Sadik Khan, Nowfel Mashnoor, Mohammad Akyash, Kimia Azar, Hadi Kamali

Comments: Accepted to the IEEE International Conference on Computer Design (ICCD 2025)

Subjects: Programming Languages (cs.PL)

[3] arXiv:2508.02857 [pdf, other]

Title: Compositional Quantum Control Flow with Efficient Compilation in Qunity

Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand

Comments: 88 pages, 30 figures

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

[4] arXiv:2508.03678 (cross-list from cs.CL) [pdf, html, other]

Title: More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation

Yangtian Zi, Harshitha Menon, Arjun Guha

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

[5] arXiv:2508.03641 (cross-list from cs.FL) [pdf, other]

Title: Visual Execution and Validation of Finite-State Machines and Pushdown Automata

Marco T. Morazán (Seton Hall University), David Anthony K. Fields (Seton Hall University), Andrés M. Garced (Seton Hall University), Tijana Mini? (University of Washington)

Comments: In Proceedings TFPiE 2025, arXiv:2508.02305

Journal-ref: EPTCS 424, 2025, pp. 87-108

Subjects: Formal Languages and Automata Theory (cs.FL); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)

[6] arXiv:2508.03639 (cross-list from cs.FL) [pdf, other]

Title: A Design Recipe and Recipe-Based Errors for Regular Expressions

Marco T. Morazán (Seton Hall University), Shamil Dzhatdoyev (Axoni, USA), Josephine Des Rosiers (Penguin Random House), Tijana Mini? (University of Washington), Andrés M. Garced (Seton Hall University), David Anthony K. Fields (Seton Hall University)

Comments: In Proceedings TFPiE 2025, arXiv:2508.02305

Journal-ref: EPTCS 424, 2025, pp. 25-48

Subjects: Formal Languages and Automata Theory (cs.FL); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)

[7] arXiv:2508.03638 (cross-list from cs.FL) [pdf, other]

Title: Design Support for Multitape Turing Machines

Marco T. Morazán (Seton Hall University), Oliwia Kempinski (University of Maryland), Andrés M. Garced (Seton Hall University)

Comments: In Proceedings TFPiE 2025, arXiv:2508.02305

Journal-ref: EPTCS 424, 2025, pp. 1-24

Subjects: Formal Languages and Automata Theory (cs.FL); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Software Engineering (cs.SE)

[8] arXiv:2508.03603 (cross-list from cs.SE) [pdf, html, other]

Title: ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs

Iti Shree, Karine Even-Mendoz, Tomasz Radzik

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

[9] arXiv:2508.03435 (cross-list from cs.SE) [pdf, html, other]

Title: StoneDetector: Conventional and versatile code clone detection for Java

Thomas S. Heinze, André Sch?fer, Wolfram Amme

Comments: supplementary information available at this http URL

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

[10] arXiv:2508.02820 (cross-list from cs.SE) [pdf, html, other]

Title: Automated Code Repair for C/C++ Static Analysis Alerts

David Svoboda, Lori Flynn, William Klieber, Michael Duggan, Nicholas Reimer, Joseph Sible

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

[11] arXiv:2508.02721 (cross-list from cs.SE) [pdf, html, other]

Title: Blueprint First, Model Second: A Framework for Deterministic LLM Workflow

Libin Qiu, Yuhang Ye, Zhirong Gao, Xide Zou, Junfu Chen, Ziming Gui, Weizhi Huang, Xiaobo Xue, Wenkai Qiu, Kun Zhao

Comments: 8 pages, 6 figures, 3 tables

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

Tue, 5 Aug 2025 (showing 4 of 4 entries )

[12] arXiv:2508.02305 [pdf, other]

Title: Proceedings 14th International Workshop on Trends in Functional Programming in Education

Rose Bohrer (AIST, Tokyo, JP)

Journal-ref: EPTCS 424, 2025

Subjects: Programming Languages (cs.PL)

[13] arXiv:2508.01199 [pdf, html, other]

Title: Efficient compilation and execution of synchronous programs via type-state programming

Avinash Malik

Subjects: Programming Languages (cs.PL)

[14] arXiv:2508.01974 (cross-list from cs.SE) [pdf, html, other]

Title: Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis

Jiahao Zhang, Xiao Cheng, Yuxiang Lei

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

[15] arXiv:2508.00952 (cross-list from cs.CY) [pdf, other]

Title: Academic Vibe Coding: Opportunities for Accelerating Research in an Era of Resource Constraint

Matthew G Crowson, Leo Celi A. Celi

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)

Mon, 4 Aug 2025 (showing 10 of 10 entries )

[16] arXiv:2508.00534 [pdf, html, other]

Title: Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations

Mikel Vandeloise

Comments: Preprint submitted to the Journal of Object Technology on July 29, 2025. Data available upon request until peer-review is completed

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

[17] arXiv:2508.00482 [pdf, html, other]

Title: Semantic Subtyping for Maps in Erlang

Erdem Yildirim, Albert Schimpf, Stefan Wehr, Annette Bieniusa

Subjects: Programming Languages (cs.PL)

[18] arXiv:2508.00422 [pdf, html, other]

Title: Automated Type Annotation in Python Using Large Language Models

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

Comments: Under Review

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

[19] arXiv:2508.00016 [pdf, other]

Title: Extended Abstract: Mutable Objects with Several Implementations

Matt Kaufmann, Yahya Sohail, Warren A. Hunt Jr

Comments: In Proceedings ACL2 2025, arXiv:2507.18567

Journal-ref: EPTCS 423, 2025, pp. 60-64

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

[20] arXiv:2508.00013 [pdf, html, other]

Title: From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms

Zurabi Kobaladze, Anna Arnania, Tamar Sanikidze

Comments: 78 pages. Undergraduate thesis project submitted in partial fulfillment of the requirements for the Bachelor's degree in Computer Science at Kutaisi International University

Subjects: Programming Languages (cs.PL)

[21] arXiv:2508.00005 [pdf, html, other]

Title: Modelling Program Spaces in Program Synthesis with Constraints

Tilman Hinnerichs, Bart Swinkels, Jaap de Jong, Reuben Gardos Reid, Tudor Magirescu, Neil Yorke-Smith, Sebastijan Dumancic

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

[22] arXiv:2508.00772 (cross-list from cs.SE) [pdf, html, other]

Title: From Code to Career: Assessing Competitive Programmers for Industry Placement

Md Imranur Rahman Akib, Fathima Binthe Muhammed, Umit Saha, Md Fazlul Karim Patwary, Mehrin Anannya, Md Alomgeer Hussein, Md Biplob Hosen

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

[23] arXiv:2508.00508 (cross-list from cs.SE) [pdf, html, other]

Title: Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis

Panagiotis Diamantakis, Thanassis Avgerinos, Yannis Smaragdakis

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

[24] arXiv:2508.00419 (cross-list from cs.LO) [pdf, html, other]

Title: Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

Comments: Under Review

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

[25] arXiv:2508.00244 (cross-list from cs.SE) [pdf, html, other]

Title: Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems

Briza Mel Dias de Sousa (1), Renato Cordeiro Ferreira (1,2,3,4), Alfredo Goldman (1) ((1) University of S?o Paulo, (2) Jheronimus Academy of Data Science, (3) Technical University of Eindhoven, (4) Tilburg University)

Comments: 11 pages, 16 figures (1 table, 3 diagrams, 5 graphics, 7 listings), submitted to CTICQS capstone project competition at SBQS 2025

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