• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2017 (33)
  • 
    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 Hits 1 – 20 of 33 1 Bridging High-Level Synthesis and Application-Specific Arithmetic: The Case Study of Floating-Point Summations Uguen, Yohann; de Dinechin, Florent; Derrien, Steven In: 27th International Conference on Field-Programmable Logic and Applications (FPL) ; https://hal.inria.fr/hal-01373954 ; 27th International Conference on Field-Programmable Logic and Applications (FPL), IEEE, Sep 2017, Gent, Belgium. pp.8 (2017) BASE Show details 2 Tango: A Spanish-Based Programming Language Zegiestowsky, Ashley M In: Butler Journal of Undergraduate Research (2017) BASE Show details 3 Composable Compilers: Evolution toward a Practical Reality Isradisaikul, Chinawat. - 2017 BASE Show details 4 Painting Pictures with Words - From Theory to System Coyne, Robert Eric. - 2017 BASE Show details 5 A Formally Verified Interpreter for a Shell-like Programming Language Jeannerod, Nicolas; Marché, Claude; Treinen, Ralf In: VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.archives-ouvertes.fr/hal-01534747 ; VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany (2017) BASE Show details 6 A Simple, Possibly Correct LR Parser for C11 Jourdan, Jacques-Henri; Pottier, François In: ISSN: 0164-0925 ; EISSN: 1558-4593 ; ACM Transactions on Programming Languages and Systems (TOPLAS) ; https://hal.archives-ouvertes.fr/hal-01633123 ; ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2017, 39 (4), pp.1 - 36. ⟨10.1145/3064848⟩ (2017) BASE Show details 7 Introduction à "Enseigner les langues anciennes à l'ère digitale : apprendre par et pour les Humanités numériques ?" Clément-Tarantino, Séverine; Lucciano, Mélanie; Tournier, Charlotte In: Enseigner les langues anciennes à l'ère digitale : apprendre par et pour les Humanités numériques ? ; https://hal-normandie-univ.archives-ouvertes.fr/hal-02371388 ; Enseigner les langues anciennes à l'ère digitale : apprendre par et pour les Humanités numériques ?, Séverine Clément-Tarantino; Charlotte Tournier, Mar 2017, Lille, France (2017) BASE Show details 8 Semantic-Directed Clumping of Disjunctive Abstract States * Li, Huisong; Bérenger, François; Chang, Bor-Yuh,... In: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.inria.fr/hal-01648679 ; POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩ (2017) BASE Show details 9 Generic Programming in OCAML Balestrieri, Florent; Mauny, Michel In: https://hal.inria.fr/hal-01664286 ; 2017 (2017) BASE Show details 10 Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines Biernacka, Małgorzata; Biernacki, Dariusz; Lenglet, Sergueï... In: LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01479035 ; LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩ (2017) BASE Show details 11 A Generic Framework for Symbolic Execution: a Coinductive Approach Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei In: ISSN: 0747-7171 ; EISSN: 1095-855X ; Journal of Symbolic Computation ; https://hal.inria.fr/hal-01238696 ; Journal of Symbolic Computation, Elsevier, 2017, 80, pp.125-163. ⟨10.1016/j.jsc.2016.07.012⟩ (2017) BASE Show details 12 Le coquillage dans le CoLiS-mateur ; : Formalizing a shell-like programming language ; Le coquillage dans le CoLiS-mateur: Formalisation d'un langage de programmation de type shell Jeannerod, Nicolas In: JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-01432034 ; JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France (2017) BASE Show details 13 Typeful Continuations Puech, Matthias In: JFLA 2017 - 28ème Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-01419473 ; JFLA 2017 - 28ème Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. pp.1-14 (2017) BASE Show details 14 Practical Subtyping for System F with Sized (Co-)Induction Lepigre, Rodolphe; Raffalli, Christophe In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017) BASE Show details 15 Design and Implementation of an Optionally-Typed Functional Programming Language Li, Patrick Shaobai. - : eScholarship, University of California, 2017 In: Li, Patrick Shaobai. (2017). Design and Implementation of an Optionally-Typed Functional Programming Language. UC Berkeley: Electrical Engineering. Retrieved from: http://www.escholarship.org/uc/item/99k5w2m0 (2017) BASE Show details 16 Projet ModRef : Migration de Données vers des Triplestores CIDOC-CRM Tchienehom, Pascaline In: 35e édition du Congrès National Inforsid ; https://hal.archives-ouvertes.fr/hal-01579337 ; 35e édition du Congrès National Inforsid, May 2017, Toulouse, France ; http://inforsid.fr/Toulouse2017/dates-appels/ (2017) BASE Show details 17 ModRef Project: from Creation to Exploitation of CIDOC-CRM Triplestores ; Projet ModRef :de la Création à l'Exploitation de Triplestores CIDOC-CRM Tchienehom, Pascaline In: The Fifth International Conference on Building and Exploring Web Based Environments (WEB 2017) ; https://hal.archives-ouvertes.fr/hal-01578878 ; The Fifth International Conference on Building and Exploring Web Based Environments (WEB 2017) , May 2017, Barcelona, Spain ; http://www.iaria.org/conferences2017/WEB17.html (2017) BASE Show details 18 ModRef Project: Data Migration into CIDOC-CRM Triplestores and Factorisation Tchienehom, Pascaline In: ISSN: 1942-2652 ; International Journal On Advances in Internet Technology ; https://hal.archives-ouvertes.fr/hal-01653015 ; International Journal On Advances in Internet Technology, IARIA, 2017, 3-4 (2017) BASE Show details 19 The cloud application modelling and execution language (CAMEL) ... Rossini, Alessandro; Kritikos, Kiriakos; Nikolov, Nikolay. - : Universität Ulm, 2017 BASE Show details 20 Introduction To Computer Science ... Afef Jmal Maâlej. - : Zenodo, 2017 BASE Show details Page: 1 2

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