• Refine your search:
  • 
    Keyword:
    
    • FOS Computer and information sciences (100)
    • Programming Languages cs.PL (100)
    • Software Engineering cs.SE (20)
    • Logic in Computer Science cs.LO (12)
    • Cryptography and Security cs.CR (10)
    • Computation and Language cs.CL (8)
    • Machine Learning cs.LG (6)
    • Artificial Intelligence cs.AI (5)
    • D.3.4 (4)
    • Distributed, Parallel, and Cluster Computing cs.DC (4)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 Hits 1 – 20 of 100 1 A Formal Model of Checked C ... Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022 BASE Show details 2 PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ... Hohentanner, Konrad; Zieris, Philipp; Horsch, Julian. - : arXiv, 2022 BASE Show details 3 Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ... Li, Zhijing; Ye, Yuwei; Neuendorffer, Stephen. - : arXiv, 2022 BASE Show details 4 Source Matching and Rewriting ... Couto, Vinicius; Zago, Luciano; Yviquel, Hervé. - : arXiv, 2022 BASE Show details 5 How ISO C became unusable for operating systems development ... Yodaiken, Victor. - : arXiv, 2022 BASE Show details 6 Quickstrom: Property Based Acceptance Testing with LTL Specifications ... O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022 BASE Show details 7 A Systematic Evaluation of Large Language Models of Code ... Xu, Frank F.; Alon, Uri; Neubig, Graham. - : arXiv, 2022 BASE Show details 8 On Reinforcement Learning, Effect Handlers, and the State Monad ... Lago, Ugo Dal; Gavazzo, Francesco; Ghyselen, Alexis. - : arXiv, 2022 Abstract: We study the algebraic effects and handlers as a way to support decision-making abstractions in functional programs, whereas a user can ask a learning algorithm to resolve choices without implementing the underlying selection mechanism, and give a feedback by way of rewards. Differently from some recently proposed approach to the problem based on the selection monad [Abadi and Plotkin, LICS 2021], we express the underlying intelligence as a reinforcement learning algorithm implemented as a set of handlers for some of these algebraic operations, including those for choices and rewards. We show how we can in practice use algebraic operations and handlers -- as available in the programming language EFF -- to clearly separate the learning algorithm from its environment, thus allowing for a good level of modularity. We then show how the host language can be taken as a lambda-calculus with handlers, this way showing what the essential linguistic features are. We conclude by hinting at how type and effect systems ... Keyword: FOS Computer and information sciences; Logic in Computer Science cs.LO; Machine Learning cs.LG; Programming Languages cs.PL URL: https://arxiv.org/abs/2203.15426 https://dx.doi.org/10.48550/arxiv.2203.15426 BASE Hide details 9 Compilable Neural Code Generation with Compiler Feedback ... Wang, Xin; Wang, Yasheng; Wan, Yao. - : arXiv, 2022 BASE Show details 10 Formal Metatheory of Second-Order Abstract Syntax ... Fiore, Marcelo; Szamozvancev, Dmitrij. - : arXiv, 2022 BASE Show details 11 Threaded Code Generation with a Meta-Tracing JIT Compiler ... Izawa, Yusuke; Masuhara, Hidehiko; Bolz-Tereick, Carl Friedrich. - : arXiv, 2021 BASE Show details 12 Automatic Guide Generation for Stan via NumPyro ... Baudart, Guillaume; Mandel, Louis. - : arXiv, 2021 BASE Show details 13 Svar: A Tiny C++ Header Brings Unified Interface for Multiple programming Languages ... Zhao, Yong; Zhao, Pengcheng; Xu, Shibiao. - : arXiv, 2021 BASE Show details 14 Elastic Silicon Interconnects: Abstracting Communication in Accelerator Design ... Demme, John. - : arXiv, 2021 BASE Show details 15 Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language ... Ghosal, Sandip; Shyamasundar, R. K.. - : arXiv, 2021 BASE Show details 16 HIR: An MLIR-based Intermediate Representation for Hardware Accelerator Description ... Majumder, Kingshuk; Bondhugula, Uday. - : arXiv, 2021 BASE Show details 17 MESH: A Memory-Efficient Safe Heap for C/C++ ... Vintila, Emanuel Q.; Zieris, Philipp; Horsch, Julian. - : arXiv, 2021 BASE Show details 18 A MLIR Dialect for Quantum Assembly Languages ... McCaskey, Alexander; Nguyen, Thien. - : arXiv, 2021 BASE Show details 19 Generation of TypeScript Declaration Files from JavaScript Code ... Cristiani, Fernando; Thiemann, Peter. - : arXiv, 2021 BASE Show details 20 Enabling Dataflow Optimization for Quantum Programs ... Ittah, David; Häner, Thomas; Kliuchnikov, Vadym. - : arXiv, 2021 BASE Show details Page: 1 2 3 4 5

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 100 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0