• Refine your search:
  • 
    Keyword:
    
    • FOS Computer and information sciences (20)
    • Programming Languages cs.PL (20)
    • Software Engineering cs.SE (20)
    • Machine Learning cs.LG (2)
    • Cryptography and Security cs.CR (1)
    • D 2.4 (1)
    • D.2.1; D.1.2; D.3.1; F.3.1; F.3.2; I.2.2 (1)
    • D.3.1 (1)
    • D.3.1; D.2.6; D.2.13; F.3.2 (1)
    • D.3.1; D.3.2; D.3.4; F.4.2 (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (20)
    • 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 Hits 1 – 20 of 20 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 Quickstrom: Property Based Acceptance Testing with LTL Specifications ... O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022 BASE Show details 4 A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ... Haberland, René. - : arXiv, 2021 BASE Show details 5 Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions ... Davis, James C.; Michael, Louis G.; Coghlan, Christy A.. - : arXiv, 2021 BASE Show details 6 Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler ... Bryksin, Timofey; Petukhov, Victor; Alexin, Ilya. - : arXiv, 2020 BASE Show details 7 Patching as Translation: the Data and the Metaphor ... Ding, Yangruibo; Ray, Baishakhi; Devanbu, Premkumar. - : arXiv, 2020 BASE Show details 8 A Component-Based Formal Language Workbench ... Mosses, Peter D.. - : arXiv, 2019 BASE Show details 9 Interconnected Linguistic Architecture ... Härtel, Johannes; Härtel, Lukas; Lämmel, Ralf. - : arXiv, 2017 BASE Show details 10 Self-composable Programming ... Kim, Hiun. - : arXiv, 2016 BASE Show details 11 Super-Languages: Developing Languages and Applications with XMF (Second Edition) ... Clark, Tony; Sammut, Paul; Willans, James. - : arXiv, 2015 BASE Show details 12 A Language Support for Exhaustive Fault-Injection in Message-Passing System Models ... Suzuki, Masaya; Watanabe, Takuo. - : arXiv, 2014 BASE Show details 13 Martta: A C++ Language Workbench ... Wood, Gavin. - : arXiv, 2014 BASE Show details 14 Denotational Semantics of A User-Oriented, Domain-Specific Language ... Mercadal, Julien; Drey, Zoé; Consel, Charles. - : arXiv, 2013 BASE Show details 15 LXG Compiler - Design and Implementation ... Vassev, Emil. - : arXiv, 2010 BASE Show details 16 Reflection and Hyper-Programming in Persistent Programming Systems ... Kirby, Graham. - : arXiv, 2010 BASE Show details 17 Creating Textual Language Dialects Using Aspect-like Techniques ... Breslav, Andrey. - : arXiv, 2009 BASE Show details 18 From Syntactic Theories to Interpreters: A Specification Language and Its Compilation ... Xiao, Yong; Ariola, Zena M.; Mauny, Michel. - : arXiv, 2000 BASE Show details 19 Compiling Language Definitions: The ASF+SDF Compiler ... Brand, M. G. J. van den; Heering, J.; Klint, P.. - : arXiv, 2000 BASE Show details 20 Early Experience with ASDL in lcc ... Hanson, David R.. - : arXiv, 1998 BASE Show details

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