• Refine your search:
  • 
    Keyword:
    
    • program transformation (9)
    • Program transformation (5)
    • Bibliothèque (4)
    • HPF (4)
    • Library (4)
    • Parallelization (4)
    • Parallélisation (4)
    • Programmtransformation (4)
    • Transformation (4)
    • Categories and Subject Descriptors (3)
    •   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 Hits 1 – 20 of 38 1 Verification of Program Transformations with Inductive Refinement Types Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,... In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021) BASE Show details 2 Structural over-determination of education reforms and agency ... : Strukturna naddoločitev izobraževalnih reform in delovanje ... Gaber, Slavko; Tašner, Veronika. - : University of Ljubljana, 2021 BASE Show details 3 Structural over-determination of education reforms and agency ; Strukturna naddoločitev izobraževalnih reform in delovanje Gaber, Slavko; Tašner, Veronika In: CEPS Journal 11 (2021) 2, S. 77-95 (2021) BASE Show details 4 Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation Giarrusso, Paolo Giosuè. - : Universität Tübingen, 2020 BASE Show details 5 One Tool, Many Languages: Language-Parametric Transformation With Incremental Parametric Syntax ... Koppel, James; Premtoon, Varot; Solar-Lezama, Armando. - : Zenodo, 2018 BASE Show details 6 One Tool, Many Languages: Language-Parametric Transformation With Incremental Parametric Syntax ... Koppel, James; Premtoon, Varot; Solar-Lezama, Armando. - : Zenodo, 2018 BASE Show details 7 Préservation de la cohérence des transformations topologiques et géométriques Gauthier, Valentin; Bellet, Thomas; Belhaouari, Hakim... In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016) BASE Show details 8 Type sound syntactic language extension ... : Typsichere syntaktische Spracherweiterung ... Lorenzen, Florian. - : Technische Universität Berlin, 2015 BASE Show details 9 Extensible Languages for Flexible and Principled Domain Abstraction ... : Erweiterbare Sprachen zur flexiblen und prinzipientreuen Domänenabstraktion ... Erdweg, Sebastian. - : Philipps-Universität Marburg, 2013 BASE Show details 10 Extensible Languages for Flexible and Principled Domain Abstraction Sebastian Erdweg; Ostermann; Klaus (Prof. Dr.). - : Philipps-Universität Marburg, 2013. : Softwaretechnik, 2013 BASE Show details 11 Help a brother out : a case study in multinational intelligence sharing, NATO SOF Ara, Martin J.; Larsse, Brage Andreas.. - : Monterey, California. Naval Postgraduate School, 2011 BASE Show details 12 Help a Brother Out: A Case Study in Multinational Intelligence Sharing, NATO SOF Ara, Martin J; Brand, Thomas; Larssen, Brage A In: DTIC (2011) BASE Show details 13 A toolkit for constructing refactoring engines Overbey, Jeffrey. - 2011 BASE Show details 14 Graph transformation systems in Constraint Handling Rules: improved methods for program analysis ... Raiser, Frank. - : Universität Ulm, 2010 BASE Show details 15 Design of a programming language dedicated to program analysis and transformation ; Conception d'un langage dédié à l'analyse et la transformation de programmes Balland, Emilie. - : HAL CCSD, 2009 In: https://tel.archives-ouvertes.fr/tel-01748507 ; Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10026⟩ (2009) BASE Show details 16 Description and Optimization of Abstract Machines in a Dialect of Prolog José F. Morales; Manuel Carro; Manuel Hermenegildo In: http://clip.dia.fi.upm.es/papers/morales09:improlog-tr.pdf (2009) BASE Show details 17 Semantics driven disambiguation Renaud Durlin In: https://www.lrde.epita.fr/dload/20080116-Seminar/durlin-disamb.pdf (2008) BASE Show details 18 Rule-Based Software Verification and Correction. Ballis, Demis. - : Universitat Politècnica de València, 2008 In: Riunet (2008) BASE Show details 19 Guidelines for statistical analysis of percentage of syllables stuttered data Jones, Mark; Onslow, Mark; Packman, Ann. - : American Speech-Language-Hearing Association, 2006 BASE Show details 20 Refactoring via database representation Péter Diviánszky; Rozália Szabó-nacsa; Zoltán Horváth In: http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_divip.pdf (2004) BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 1 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 1 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 37 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0