• Refine your search:
  • 
    Keyword:
    
    • [INFO.INFO-PL]Computer Science [cs] / Programming Languages [cs.PL] (108)
    • FOS Computer and information sciences (100)
    • Programming Languages cs.PL (100)
    • [INFO.INFO-SE]Computer Science [cs] / Software Engineering [cs.SE] (22)
    • Software Engineering cs.SE (20)
    • [INFO.INFO-AI]Computer Science [cs] / Artificial Intelligence [cs.AI] (18)
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (16)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (15)
    • [INFO.INFO-DB]Computer Science [cs] / Databases [cs.DB] (15)
    • [INFO.INFO-DS]Computer Science [cs] / Data Structures and Algorithms [cs.DS] (14)
    • [INFO.INFO-IR]Computer Science [cs] / Information Retrieval [cs.IR] (14)
    • [INFO.INFO-WB]Computer Science [cs] / Web (14)
    • [SHS.LANGUE]Humanities and Social Sciences / Linguistics (14)
    • Logic in Computer Science cs.LO (12)
    • Cryptography and Security cs.CR (10)
    • [INFO]Computer Science [cs] (9)
    • Computation and Language cs.CL (8)
    • Machine Learning cs.LG (6)
    • Artificial Intelligence cs.AI (5)
    • Semantics (5)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (208)
    • subject to license (0)

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 6 7...11 Hits 41 – 60 of 208 41 AnyHLS: High-Level Synthesis with Partial Evaluation ... Özkan, M. Akif; Pérard-Gayot, Arsène; Membarth, Richard. - : arXiv, 2020 BASE Show details 42 Compiling ONNX Neural Network Models Using MLIR ... Jin, Tian; Bercea, Gheorghe-Teodor; Le, Tung D.. - : arXiv, 2020 BASE Show details 43 Bringing GNU Emacs to Native Code ... Corallo, Andrea; Nassi, Luca; Manca, Nicola. - : arXiv, 2020 BASE Show details 44 Domain-Specific Multi-Level IR Rewriting for GPU ... Gysi, Tobias; Müller, Christoph; Zinenko, Oleksandr. - : arXiv, 2020 BASE Show details 45 Patching as Translation: the Data and the Metaphor ... Ding, Yangruibo; Ray, Baishakhi; Devanbu, Premkumar. - : arXiv, 2020 BASE Show details 46 Bitcoin covenants unchained ... Bartoletti, Massimo; Lande, Stefano; Zunino, Roberto. - : arXiv, 2020 BASE Show details 47 Context-Aware Parse Trees ... Ye, Fangke; Zhou, Shengtian; Venkat, Anand. - : arXiv, 2020 BASE Show details 48 Illicium A modular transpilation toolchain from Pharo to C Misse-Chanabier, Pierre; Aranega, Vincent; Polito, Guillermo... In: IWST19 — International Workshop on Smalltalk Technologies ; https://hal.archives-ouvertes.fr/hal-02297860 ; IWST19 — International Workshop on Smalltalk Technologies, Aug 2019, Köln, Germany (2019) BASE Show details 49 Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer Journault, Matthieu; Miné, Antoine; Monat, Raphaël... In: Verified Software. Theories, Tools, and Experiments ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.sorbonne-universite.fr/hal-02890500 ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩ ; https://sri-csl.github.io/VSTTE19/ (2019) BASE Show details 50 Creation and Analysis of the Yugoslav Rock Song Lyrics Corpus from 1967 to 2003 ; Креирање и анализа корпуса текстова jугословенских рок песама од 1967-2003. Petkovic, Ljudmila In: ISSN: 1450-9687 ; EISSN: 2217-9461 ; INFOtheca : Journal of Information and Library Science ; https://hal.archives-ouvertes.fr/hal-03091121 ; INFOtheca : Journal of Information and Library Science, Serbian Academic Library Association, 2019, 19 (1), pp.5-29. ⟨10.18485/infotheca.2019.19.1.1⟩ (2019) BASE Show details 51 Challenges in Debugging Bootstraps of Reflective Kernels Hernández Phillips, Carolina; Polito, Guillermo; Fabresse, Luc... In: IWST19 - International workshop on Smalltalk Technologies ; https://hal.archives-ouvertes.fr/hal-02297710 ; IWST19 - International workshop on Smalltalk Technologies, Aug 2019, Cologne, Germany (2019) BASE Show details 52 Towards easy program migration using language virtualization Rogliano, Théo; Polito, Guillermo; Tesone, Pablo In: IWST19 - International Workshop on Smalltalk Technologies ; https://hal.archives-ouvertes.fr/hal-02297756 ; IWST19 - International Workshop on Smalltalk Technologies, Aug 2019, Cologne, Germany (2019) BASE Show details 53 Computing with relations, functions, and bindings ; Calculer avec des relations, des fonctions et des lieurs Gerard, Ulysse. - : HAL CCSD, 2019 In: https://hal.archives-ouvertes.fr/tel-02414237 ; Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩ (2019) BASE Show details 54 Designing Language-Agnostic Code Transformation Engines ; Construction de moteurs de transformation de code automatique agnostiques du langage Lecerf, Jason. - : HAL CCSD, 2019 In: https://tel.archives-ouvertes.fr/tel-03356307 ; Programming Languages [cs.PL]. Université de Lille, 2019. English (2019) BASE Show details 55 A Component-Based Formal Language Workbench ... Mosses, Peter D.. - : arXiv, 2019 BASE Show details 56 An experiment with denotational semantics ... Andrzej, Blikle. - : arXiv, 2019 BASE Show details 57 A Denotational Engineering of Programming Languages ... Andrzej, Blikle. - : arXiv, 2019 BASE Show details 58 Frightening Small Children and Disconcerting Grown-ups ; Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel Alglave, Jade; Maranget, Luc; McKenney, Paul... In: ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems ; https://hal.inria.fr/hal-01873636 ; ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2018, Williamsburg, VA, United States. ⟨10.1145/3173162.3177156⟩ (2018) BASE Show details 59 Merlin: a language server for OCaml (experience report) Bour, Frédéric; Réfis, Thomas; Scherer, Gabriel In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.inria.fr/hal-01929161 ; Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 15. ⟨10.1145/3236798⟩ (2018) BASE Show details 60 Declarative Transformations in the Polyhedral Model ; Transformations Déclaratives dans le Modèle Polyédrique Zinenko, Oleksandr; Chelini, Lorenzo; Grosser, Tobias In: https://hal.inria.fr/hal-01965599 ; [Research Report] RR-9243, Inria; ENS Paris - Ecole Normale Supérieure de Paris; ETH Zurich; TU Delft; IBM Zürich. 2018 (2018) BASE Show details Page: 1 2 3 4 5 6 7...11

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 208 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0