Výsledky vyhľadávania - "Computer Science - Programming Languages"

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot

Autori: İhsan Ozan Yildirim Cansu Çetin Er Ege Keskin a ďalší

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

Predmety: 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)

Prístupová URL adresa: http://arxiv.org/abs/2410.08340

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

Autori: Noam Zilberstein

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

Predmety: 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)

Prístupová URL adresa: http://arxiv.org/abs/2401.04594

A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Autori: Dawn Michaelson Gopalan Nadathur Eric Van Wyk

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

Predmety: 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)

Prístupová URL adresa: http://arxiv.org/abs/2312.14374

2-Functoriality of Initial Semantics, and Applications

Autori: Benedikt Ahrens Ambroise Lafont Thomas Lamiaux a ďalší

Prispievatelia: Benedikt Ahrens Ambroise Lafont Thomas Lamiaux a ďalší

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

Predmety: 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)

Prístupová URL adresa: 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

Autori: Chaoyi Deng Jialong Wu Ningya Feng a ďalší

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

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

Prístupová URL adresa: http://arxiv.org/abs/2404.16077

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing

Autori: Simone Faro Francesco Pio Marino Gabriele Messina

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

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

Prístupová URL adresa: http://arxiv.org/abs/2503.13084

High-level quantum algorithm programming using Silq

Autori: Viktorija Bezganovic Marco Lewis Sadegh Soudjani a ďalší

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

Predmety: 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)

Prístupová URL adresa: http://arxiv.org/abs/2409.10231
https://hdl.handle.net/11573/1748867
https://doi.org/10.1145/3731545.3744152

Rel: A Programming Language for Relational Data

Autori: Aref, Molham Guagliardo, Paolo Kastrinis, George a ďalší

Prispievatelia: Aref, Molham Guagliardo, Paolo Kastrinis, George a ďalší

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

Predmety: 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)

Prístupová URL adresa: http://arxiv.org/abs/2504.10323

Checkification: A Practical Approach for Testing Static Analysis Truths

Autori: DANIELA FERREIRO IGNACIO CASSO JOSE F. MORALES a ďalší

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

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

Prístupová URL adresa: http://arxiv.org/abs/2501.12093

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

Autori: Rupprecht, Sophia Hounat, Yassine Kumar, Monisha a ďalší

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

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

Prístupová URL adresa: http://arxiv.org/abs/2503.17004

RTL++: Graph-enhanced LLM for RTL Code Generation

Autori: Akyash, Mohammad Azar, Kimia Kamali, Hadi

Zdroj: 2025 IEEE International Conference on LLM-Aided Design (ICLAD). :44-50

Predmety: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Programming Languages, Hardware Architecture (cs.AR), Computer Science - Hardware Architecture, Programming Languages (cs.PL), Machine Learning (cs.LG)

Prístupová URL adresa: http://arxiv.org/abs/2505.13479

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis

Autori: Li, Zeju Xu, Changran Shi, Zhengyuan a ďalší

Zdroj: 2025 IEEE International Conference on LLM-Aided Design (ICLAD). :204-211

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

Prístupová URL adresa: http://arxiv.org/abs/2502.18297

LitmusKt: Concurrency Stress Testing for Kotlin

Autori: Denis Lochmelis Evgenii Moiseenko Yaroslav Golubev a ďalší

Zdroj: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. :1074-1078

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

Prístupová URL adresa: http://arxiv.org/abs/2501.07472

The Incredible Shrinking Context... in a Decompiler Near You

Autori: Sifis Lagouvardos Yannis Bollanos Neville Grech a ďalší

Zdroj: Proceedings of the ACM on Software Engineering. 2:1350-1373

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

Prístupová URL adresa: http://arxiv.org/abs/2409.11157

Integrating Large Language Models and Reinforcement Learning for Non-linear Reasoning

Autori: Yoav Alon Cristina David

Zdroj: Alon, Y & David, C 2025, Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning. in FSE '25 : ACM International Conference on the Foundations of Software Engineering (FSE)., FSE044, Proceedings of the ACM on Software Engineering, no. FSE, vol. 2, Association for Computing Machinery (ACM), pp. 957-977, The ACM International Conference on the Foundations of Software Engineering (FSE) 2025, Trondheim, Norway, 23/07/25. https://doi.org/10.48550/arXiv.2410.13501, https://doi.org/10.1145/3715761

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

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2410.13501
https://research-information.bris.ac.uk/en/publications/78264631-2a85-4148-9fea-2e439ddf702e
https://hdl.handle.net/1983/78264631-2a85-4148-9fea-2e439ddf702e

CoverUp: Effective High Coverage Test Generation for Python

Autori: Juan Altmayer Pizzorno Emery D. Berger

Zdroj: Proceedings of the ACM on Software Engineering. 2:2897-2919

Predmety: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, D.2.5, I.2.0, Machine Learning (cs.LG), Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2403.16218

FSLH: Flexible Mechanized Speculative Load Hardening

Autori: Baumann, Jonathan Blanco, Roberto Ducruet, Léon a ďalší

Zdroj: 2025 IEEE 38th Computer Security Foundations Symposium (CSF). :569-584

Predmety: FOS: Computer and information sciences, Computer Science - Cryptography and Security, Computer Science - Programming Languages, Cryptography and Security (cs.CR), Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2502.03203

Gradual Sensitivity Typing

Autori: Arquez, Damian Toro, Matías Tanter, Éric

Zdroj: 2025 IEEE 38th Computer Security Foundations Symposium (CSF). :553-568

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

Prístupová URL adresa: http://arxiv.org/abs/2308.02018

Memory Consistency and Program Transformations

Autori: Akshay Gopalakrishnan Clark Verbrugge Mark Batty

Zdroj: Formal Aspects of Computing. 37:1-42

Predmety: FOS: Computer and information sciences, D.3.1, Computer Science - Programming Languages, Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2409.12013

Fully Randomized Pointers

Autori: Sai Dhawal Phaye Gregory J. Duck Roland H. C. Yap a ďalší

Zdroj: Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management. :94-108

Predmety: FOS: Computer and information sciences, Computer Science - Cryptography and Security, Computer Science - Programming Languages, Cryptography and Security (cs.CR), Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2405.12513