• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) (29)
    • Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique (7)
    • Laboratoire d'Informatique de Nantes Atlantique (LINA) (6)
    • Inria de Paris (5)
    • Aspect and composition languages (ASCOLA) (4)
    • Inria Paris-Rocquencourt (4)
    • Inria Sophia Antipolis - Méditerranée (CRISAM) (4)
    • Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) (4)
    • Langages de programmation, types, compilation et preuves (GALLIUM) (4)
    • Mines Nantes (Mines Nantes)-Centre National de la Recherche Scientifique (CNRS)-Université de Nantes (UN)-Mines Nantes (Mines Nantes)-Centre National de la Recherche Scientifique (CNRS)-Université de Nantes (UN)-Département informatique - EMN (4)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (22)
    • Miscellaneous (4)
    • Book (3)
  • 
    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 29 1 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 2 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 3 Type-Driven Gradual Security with References Toro, Matías; Garcia, Ronald; Tanter, Éric In: ISSN: 0164-0925 ; EISSN: 1558-4593 ; ACM Transactions on Programming Languages and Systems (TOPLAS) ; https://hal.archives-ouvertes.fr/hal-01957581 ; ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2018, 40 (4), pp.1-55. ⟨10.1145/3229061⟩ (2018) BASE Show details 4 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 5 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 6 Generic Programming in OCAML Balestrieri, Florent; Mauny, Michel In: https://hal.inria.fr/hal-01664286 ; 2017 (2017) BASE Show details 7 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 8 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 9 Generic Programming in OCaml Balestrieri, Florent; Mauny, Michel In: OCaml 2016 - The OCaml Users and Developers Workshop ; https://hal.inria.fr/hal-01413061 ; OCaml 2016 - The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan (2016) BASE Show details 10 COSMO (“Communicating about Objects using Sensory–Motor Operations”): A Bayesian modeling framework for studying speech communication and the emergence of phonological systems Moulin-Frier, Clément; Diard, Julien; Schwartz, Jean-Luc... In: ISSN: 0095-4470 ; EISSN: 1095-8576 ; Journal of Phonetics ; https://hal.archives-ouvertes.fr/hal-01230175 ; Journal of Phonetics, Elsevier, 2015, 53, pp.5-41. ⟨10.1016/j.wocn.2015.06.001⟩ ; http://www.sciencedirect.com/science/article/pii/S0095447015000352 (2015) BASE Show details 11 A Generic Framework for Symbolic Execution: Theory and Applications ; Un cadre générique pour l'exécution symbolique : théorie et applications Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad In: https://hal.inria.fr/hal-00766220 ; [Research Report] RR-8189, Inria. 2015, pp.41 (2015) BASE Show details 12 Normalization by realizability also evaluates Dagand, Pierre-Évariste; Scherer, Gabriel In: Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015) ; https://hal.inria.fr/hal-01099138 ; Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France ; http://jfla.inria.fr/2015 (2015) BASE Show details 13 Symbolic execution based on language transformation Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01186008 ; Computer Languages, Systems and Structures, Elsevier, 2015, pp.42. ⟨10.1016/j.cl.2015.08.004⟩ (2015) BASE Show details 14 Mezzo: a typed language for safe effectful concurrent programs ; Mezzo: un langage typé pour programmer de manière concurrent et sure en présence d'effets Protzenko, Jonathan. - : HAL CCSD, 2014 In: https://hal.inria.fr/tel-01086106 ; Programming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2014. English (2014) BASE Show details 15 Denotational Semantics of A User-Oriented, Domain-Specific Language Mercadal, Julien; Drey, Zoé; Consel, Charles In: ISSN: 2075-2180 ; Electronic Proceedings in Theoretical Computer Science ; https://hal.inria.fr/hal-00865381 ; Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩ (2013) BASE Show details 16 A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts Allam, Diana In: AOSD 2012 Student Research Competition (Poster) ; https://hal.inria.fr/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩ (2012) BASE Show details 17 Community-Driven Language Development Cánovas, Javier; Cabot, Jordi In: International Workshop on Modelling in Software Engineering ; https://hal.inria.fr/hal-00687042 ; International Workshop on Modelling in Software Engineering, Jun 2012, Zurich, Switzerland (2012) BASE Show details 18 A Programming Model Integrating Classes, Events and Aspects ; Un modèle de programmation intégrant classes, événements et aspects Núñez, Angel. - : HAL CCSD, 2011 In: https://tel.archives-ouvertes.fr/tel-00656649 ; Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : 2011 NANT 2063⟩ (2011) BASE Show details 19 Les ingrédients des algorithmes Dowek, Gilles; Viéville, Thierry; Archambault, Jean-Pierre... In: ISSN: 2270-6224 ; Interstices ; https://hal.inria.fr/hal-01350276 ; Interstices, INRIA, 2010 ; https://interstices.info/jcms/c_43821/les-ingredients-des-algorithmes (2010) BASE Show details 20 Efficient normalization by evaluation Boespflug, Mathieu In: 2009 Workshop on Normalization by Evaluation ; https://hal.inria.fr/inria-00434283 ; 2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States ; http://www.brics.dk/~danvy/NBE09/informal-proceedings/ (2009) 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 29 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0