Search Results - "Computer Science - Programming Languages"

Rod Burstall: In Memoriam

Authors: J Strother Moore Gordon Plotkin David Rydeheard et al.

Source: Formal Aspects of Computing. 37:1-10

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2505.06456

Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback

Authors: Jason Blocklove Shailja Thakur Benjamin Tan et al.

Source: ACM Transactions on Design Automation of Electronic Systems. 30:1-26

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Hardware Architecture (cs.AR), Computer Science - Hardware Architecture, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2411.11856

Functorial Semantics for Relational Theories

Authors: Bonchi, Filippo Pavlovic, Dusko Sobocinski, Pawel

Source: Polynesian Journal of Mathematics. 2:1-56

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mathematics - Category Theory, Category Theory (math.CT), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/1711.08699

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot

Authors: İhsan Ozan Yildirim Cansu Çetin Er Ege Keskin et al.

Source: Companion Proceedings of the Annual Symposium on Computer-Human Interaction in Play. :80-87

Subject Terms: FOS: Computer and information sciences, Computer Science - Computers and Society, Computer Science - Programming Languages, Computers and Society (cs.CY), Computer Science - Human-Computer Interaction, FOS: Electrical engineering, electronic engineering, information engineering, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Human-Computer Interaction (cs.HC), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2410.08340

Incremental Bidirectional Typing via Order Maintenance

Authors: Thomas J. Porter Marisa Kirisame Ivan Wei et al.

Source: Proceedings of the ACM on Programming Languages. 9:1865-1892

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2504.08946

Detecting and Explaining (In-)equivalence of Context-Free Grammars

Authors: Marko Schmellenkamp Thomas Zeume Sven Argo et al.

Source: Proceedings of the ACM on Programming Languages. 9:2954-2980

Subject Terms: FOS: Computer and information sciences, Computer Science - Computers and Society, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), Computers and Society (cs.CY), Computer Science - Formal Languages and Automata Theory, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2407.18220

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits

Authors: Nengkun Yu Xuan Du Trinh Thomas Reps

Source: Proceedings of the ACM on Programming Languages. 9:2870-2897

Subject Terms: FOS: Computer and information sciences, Quantum Physics, Computer Science - Programming Languages, FOS: Physical sciences, Quantum Physics (quant-ph), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2504.01558

Reasoning about External Calls

Authors: Sophia Drossopoulou Julian Mackay Susan Eisenbach et al.

Source: Proceedings of the ACM on Programming Languages. 9:386-415

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2506.06544

VexIR2Vec : An Architecture-Neutral Embedding Framework for Binary Similarity

Authors: S. VenkataKeerthy Soumya Banerjee Sayan Dey et al.

Source: ACM Transactions on Software Engineering and Methodology. 34:1-54

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Programming Languages, Computer Science - Cryptography and Security, Cryptography and Security (cs.CR), Programming Languages (cs.PL), Machine Learning (cs.LG)

Access URL: http://arxiv.org/abs/2312.00507

High-level quantum algorithm programming using Silq

Authors: Viktorija Bezganovic Marco Lewis Sadegh Soudjani et al.

Source: Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing. :1-11

Subject Terms: FOS: Computer and information sciences, Quantum Physics, Computer Science - Programming Languages, Computer Science - Data Structures and Algorithms, FOS: Physical sciences, Data Structures and Algorithms (cs.DS), quantum computing, programming, silq, quantum algorithms, Quantum Physics (quant-ph), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2409.10231
https://hdl.handle.net/11573/1748867
https://doi.org/10.1145/3731545.3744152

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects

Authors: Noam Zilberstein

Source: ACM Transactions on Programming Languages and Systems. 47:1-71

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2401.04594

A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Authors: Dawn Michaelson Gopalan Nadathur Eric Van Wyk

Source: ACM Transactions on Programming Languages and Systems. 47:1-56

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2312.14374

2-Functoriality of Initial Semantics, and Applications

Authors: Benedikt Ahrens Ambroise Lafont Thomas Lamiaux et al.

Contributors: Benedikt Ahrens Ambroise Lafont Thomas Lamiaux et al.

Source: Proceedings of the ACM on Programming Languages. 9:643-674

Subject Terms: Initial semantics, FOS: Computer and information sciences, Computer Science - Programming Languages, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], FOS: Mathematics, Monoidal categories, Mathematics - Category Theory, Category Theory (math.CT), Substitution, Theory of computation→Categorical semantics, Variable binding, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2503.10863
https://hal.science/hal-05201321v1
https://doi.org/10.1145/3747527

CompilerDream: Learning a Compiler World Model for General Code Optimization

Authors: Chaoyi Deng Jialong Wu Ningya Feng et al.

Source: Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2. :486-497

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Programming Languages, Programming Languages (cs.PL), Machine Learning (cs.LG)

Access URL: http://arxiv.org/abs/2404.16077

Checkification: A Practical Approach for Testing Static Analysis Truths

Authors: DANIELA FERREIRO IGNACIO CASSO JOSE F. MORALES et al.

Source: Theory and Practice of Logic Programming. :1-38

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2501.12093

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)

Authors: Rupprecht, Sophia Hounat, Yassine Kumar, Monisha et al.

Source: Systems and Control Transactions. 4:1706-1711

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Computation and Language, Computation and Language (cs.CL), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2503.17004

When is the partial map classifier a Sierpiński cone?

Authors: Pugh, Leoni Sterling, Jonathan DSpace at Cambridge pro (8.1)

Contributors: Pugh, Leoni Sterling, Jonathan DSpace at Cambridge pro (8.1)

Source: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :718-731

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, FOS: Mathematics, Mathematics - Category Theory, Category Theory (math.CT), Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2504.06789
https://www.repository.cam.ac.uk/handle/1810/382614
https://doi.org/10.17863/cam.117346

Rel: A Programming Language for Relational Data

Authors: Aref, Molham Guagliardo, Paolo Kastrinis, George et al.

Contributors: Aref, Molham Guagliardo, Paolo Kastrinis, George et al.

Source: Companion of the 2025 International Conference on Management of Data. :283-296

Subject Terms: FOS: Computer and information sciences, Relational data model, Computer Science - Programming Languages, Computer Science - Databases, Impedance mismatch, Programming in the large, Query language design, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Relational knowledge graph, Databases (cs.DB), Relational pro- gramming, Graph normal form, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2504.10323

Green AI: Which Programming Language Consumes the Most?

Authors: Marini, Niccolò Pampaloni, Leonardo Di Martino, Filippo et al.

Source: 2025 IEEE/ACM 9th International Workshop on Green and Sustainable Software (GREENS). :12-19

Subject Terms: FOS: Computer and information sciences, Computer Science - Computers and Society, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computers and Society (cs.CY), empirical experiment, energy consumption, green ai, programming languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2501.14776
https://hdl.handle.net/2158/1438350
https://doi.org/10.1109/greens66463.2025.00007

ClassInvGen: Class Invariant Synthesis Using Large Language Models

Authors: Sun, Chuyue Agashe, Viraj Chakraborty, Saikat et al.

Source: Lecture Notes in Computer Science ISBN: 9783031999901

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2502.18917