Lemmel, Ralph

Ralph Lemmel
Ralf Lammel
Födelseort
Land
Vetenskaplig sfär Informatik
Arbetsplats
Alma mater
Akademisk examen Ph.D
Akademisk titel Professor
vetenskaplig rådgivare Günter Riedewald

Ralph Lemmel  är en tysk vetenskapsman, professor vid universitetet i Koblenz-Landau , dekanus för fakulteten för informatik [1] . Inkluderad i listan över de mest produktiva författarna till vetenskapliga artiklar enligt DBLP- versionen som har mer än 160 publicerade artiklar [2] . Hirsch index  - 39 [3] .

Ralph Lemmel avslutade sin doktorsavhandling om " Functional Metaprograms through Declarative Paradigm Reuse " [ 4] [5] 1999 , och senare samma år flyttade han till Nederländerna , där han arbetade i flera år i olika vetenskapliga forskningsorganisationer. 2005 flyttade Lemmel till Microsoft , där han var involverad i FoU inom XML -teknologier [1] . Efter 2007 återvände han till Europa, där han tog tjänsten som professor vid ett litet tyskt universitet, där han arbetar (från och med 2016).

Bland de mest citerade verken av Lemmel finns en artikel som förklarar den distribuerade beräkningsmodellen MapReduce [6] . Istället för Googles Sawzall -språk demonstrerade han maskinskrivning, abstraktion, parallellisering och aggregering av det mer populära Haskell-språket och lade senare till en implementering för Hadoop [7] . Ännu mer känd är Lemmels stil av funktionell generisk programmering som kallas "skrota din boilerplate" (SYB, ungefär översatt som "rengöringsmallar"), till vilken ett antal artiklar ägnas [8] [9] [10] [11] [ 12] [13] , skriven mestadels i samarbete med Simon Peyton-Jones , den ledande utvecklaren av Haskell-språket . Problemet som löses med SYB-tekniken är att genomgång av hierarkiska datastrukturer (till exempel träd ), som ofta finns i programmering , utförs av en enhetlig kod som går igenom alla möjliga alternativ på varje nivå i hierarkin och fortsätter att korsa i önskad riktning. Om det finns betydligt mer sådan kod än koden som är relaterad till själva den centrala algoritmen distraherar detta programmeraren och sprider hans uppmärksamhet. SYB erbjuder en uppsättning polymorfa kombinatorer som döljer rutinmässig genomgångskod och låter programmeraren fokusera på viktigare aspekter.

Lemmel är medförfattare till några termer som har fått stort erkännande och spridning i det vetenskapliga samfundet. Bland dem: "grammarware" ( grammarware , analogt med mjukvara ) [14] som en disciplin för att skapa grammatiker , databasscheman , typsystem och andra kompilatorkomponenter ; "språkteknik" (programvaruspråksteknik, i analogi med mjukvaruteknik ) [15] [16] [17] som ett forskningsfält som studerar programmeringsspråk , modellering , design , specifikationer , uppmärkning , beskrivningar av hårdvara eller gränssnitt , domän -specifika språk , frågespråk , etc.; " software chrestomathy " [18] [19] [20] som ett arkiv där källkod , dokumentation , modeller , arkitektur , byggskript , datastrukturer och andra komponenter lagras i en länkad form . 2009 var han med och grundade konferensen SLE (International Conference of Software Language Engineering) [1] [21] om språkteknik . 2018 publicerades hans bok Programming Languages ​​: Syntax , Semantics and Metaprogramming [22] [23] av Springer .

Ralph Lemmel var en av forskarna som lade grunden till den allmänna teorin om dubbelriktade transformationer ( engelska  dubbelriktad transformation , bx) [24] och representerade teorin om programmeringsspråk där . Dubbelriktade transformationer är inte alltid bijektiva mappningar , vilket par av transformationer som helst som är associerade med vissa lagar kan betraktas som dubbelriktade. Till exempel erhålls en vy från en databas genom innehållsfiltrering, men i vissa system kan vyändringar returneras till den ursprungliga databasen och tillämpas på hela datauppsättningen där. Lemmels bidrag var dubbelriktade transformationer av grammatik [24] .

Anteckningar

  1. ↑ 1 2 3 CV/Bio Ralf Lämmel: Kort biografi; Lång bio Arkiverad 22 mars 2016 på Wayback Machine .
  2. ↑ Mest produktiva dblp-författare Arkiverade 29 april 2017 på Wayback Machine .
  3. ↑ Ralf Lämmel på Google Scholar .
  4. ^ Ralf Lämmel om Mathematics Genealogy Project .
  5. ↑ Ralf Lämmel, Functional meta-programs to reusability in the declarative paradigm Arkiverad 6 oktober 2016 på Wayback Machine , Shaker Verlag, 1999, ISBN 3-8265-6042-6 .
  6. ↑ Ralf Lämmel, Googles MapReduce-programmeringsmodell - Revisited . sci. Comput. program. 70(1): 1-30 (2008).
  7. ↑ Ralf Lämmel, David Saile, MapReduce with Deltas Arkiverad 7 oktober 2016 på Wayback Machine , PDPTA 2011.
  8. ↑ Ralf Lämmel, Simon L. Peyton Jones , Skrota din boilerplate: ett praktiskt designmönster för generisk programmering . TLDI 2003: 26-37.
  9. ↑ Simon L. Peyton Jones , Ralf Lämmel, Skrota din boilerplate . APLAS 2003: 357.
  10. ↑ Ralf Lämmel, Simon L. Peyton Jones , Skrota mer boilerplate: reflektion, blixtlås och generaliserade avgjutningar . ICFP 2004: 244-255.
  11. ↑ Ralf Lämmel, Simon L. Peyton Jones , Skrota din boilerplate med klass: utbyggbara generiska funktioner . ICFP 2005: 204-215.
  12. ↑ Ralf Lämmel, Skrota din boilerplate med XPath-liknande kombinatorer . POPL 2007: 137-142.
  13. ↑ Ralf Lämmel, Skrota din pannplatta: prologiskt! PPDP 2009: 7-12.
  14. ↑ Paul Klint , Ralf Lämmel, Chris Verhoef , Mot en ingenjörsdisciplin för grammatik . ACM Trans. softw. Eng. Methodol. 14(3): 331-380 (2005).
  15. ↑ Dragan Gasevic , Ralf Lämmel, Eric Van Wyk , Software Language Engineering, First International Conference , SLE 2008, Toulouse, Frankrike, 29-30 september 2008. Reviderade utvalda dokument. Lecture Notes in Computer Science 5452, Springer 2009, ISBN 978-3-642-00433-9 .
  16. ↑ Jean-Marie Favre , Dragan Gasevic , Ralf Lämmel, Andreas Winter , Editorial - Programvaruspråkteknik . IET Software 2(3): 161-164 (2008).
  17. ↑ Jean-Marie Favre , Dragan Gasevic , Ralf Lämmel, Andreas Winter , gästredaktörernas introduktion till specialavsnittet om programvaruspråkteknik . IEEE Trans. SoftwareEng. 35(6): 737-741 (2009).
  18. ↑ Jean-Marie Favre, Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich, Linking Documentation and Source Code in a Software Chrestomathy . WCRE 2012: 335-344.
  19. ↑ Ralf Lämmel: Software chrestomaties . sci. Comput. program. 97:98-104 (2015).
  20. ↑ Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich, 101companies: A Community Project on Software Technologies and Software Languages . VERKTYG (50) 2012: 58-74.
  21. ↑ SLE2008 - 1st International Conference on Software Language Engineering - Kommittéer Arkiverad 9 februari 2018 på Wayback Machine .
  22. ↑ Programvaruspråkboken . Hämtad 18 juli 2018. Arkiverad från originalet 18 juli 2018.
  23. ↑ Ralf Lammel. Programvaruspråk . - 2018. - doi : 10.1007/978-3-319-90800-7 .
  24. ↑ 1 2 Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger, Bidirectional Transformations: A Cross-Discipline Perspective . ICMT 2009: 260-283
  Gå till Wikidata-objektet  I sociala nätverk
Tematiska platser