Suchergebnisse - "Computer Science - Programming Languages"

International Journal of Computer Science & Programming languages

Rod Burstall: In Memoriam

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

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

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2505.06456

Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback

Autoren: Jason Blocklove Shailja Thakur Benjamin Tan et al.

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2411.11856

Functorial Semantics for Relational Theories

Autoren: Bonchi, Filippo Pavlovic, Dusko Sobocinski, Pawel

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/1711.08699

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot

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

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2410.08340

Incremental Bidirectional Typing via Order Maintenance

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

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

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2504.08946

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

Autoren: Marko Schmellenkamp Thomas Zeume Sven Argo et al.

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2407.18220

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits

Autoren: Nengkun Yu Xuan Du Trinh Thomas Reps

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

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

Zugangs-URL: http://arxiv.org/abs/2504.01558

Reasoning about External Calls

Autoren: Sophia Drossopoulou Julian Mackay Susan Eisenbach et al.

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

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2506.06544

VexIR2Vec : An Architecture-Neutral Embedding Framework for Binary Similarity

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

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2312.00507

High-level quantum algorithm programming using Silq

Autoren: Viktorija Bezganovic Marco Lewis Sadegh Soudjani et al.

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

Schlagwörter: 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)

Zugangs-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

Autoren: Noam Zilberstein

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2401.04594

A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Autoren: Dawn Michaelson Gopalan Nadathur Eric Van Wyk

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2312.14374

2-Functoriality of Initial Semantics, and Applications

Autoren: Benedikt Ahrens Ambroise Lafont Thomas Lamiaux et al.

Weitere Verfasser: Benedikt Ahrens Ambroise Lafont Thomas Lamiaux et al.

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

Schlagwörter: 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)

Zugangs-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

Autoren: Chaoyi Deng Jialong Wu Ningya Feng et al.

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

Schlagwörter: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Programming Languages, Programming Languages (cs.PL), Machine Learning (cs.LG)

Zugangs-URL: http://arxiv.org/abs/2404.16077

Checkification: A Practical Approach for Testing Static Analysis Truths

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

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

Schlagwörter: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2501.12093

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

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

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

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Computation and Language, Computation and Language (cs.CL), Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2503.17004

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

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

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

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-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

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

Weitere Verfasser: Aref, Molham Guagliardo, Paolo Kastrinis, George et al.

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2504.10323

Green AI: Which Programming Language Consumes the Most?

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

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

Schlagwörter: 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)

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