Interested Article - Леммель, Ральф

Ральф Леммель — немецкий учёный, профессор , декан факультета информатики . Входит в список самых плодовитых авторов научных статей по версии DBLP как имеющий более 160 опубликованных работ . Индекс Хирша — 42 .

Ральф Леммель защитил диссертацию на соискание степени по теме « Функциональные метапрограммы в помощью повторному использованию в рамках декларативной парадигмы » в 1999, и позже в том же году переехал в Нидерланды , где проработал несколько лет в различных научно-исследовательских организациях. В 2005 Леммель перешёл работать в Microsoft , где занимался НИОКР в области XML -технологий . После 2007 года вернулся в Европу, где занял позицию профессора в небольшом немецком университете, на которой и работает (на 2016 год).

Среди самых широко цитируемых работ Леммеля — статья с объяснением модели распределённых вычислений MapReduce . Вместо используемого в Google языка он продемонстрировал возможности типизации, абстракции, распараллеливания и агрегации для более популярного языка Haskell , а позже добавил и реализацию для Hadoop . Ещё более известен предложенный Леммелем стиль функционального обобщённого программирования под названием «scrap your boilerplate» (SYB, приблизительно переводится как «вычищение шаблонов»), которому посвящён целый ряд статей , написанных большей частью в соавторстве с Саймоном Пейтон-Джонсом , ведущим разработчиком языка Haskell . Задача, решаемая методикой SYB, заключается в том, что обход иерархических структур данных (например, деревьев ), что часто встречаются в программировании , совершается однообразным кодом, который перебирает все возможные варианты на каждом уровне иерархии и продолжает обход в желаемом направлении. Если такого кода существенно больше, чем кода, относящегося к собственно центральному алгоритму , это отвлекает программиста и рассеивает его внимание. SYB предлагает набор полиморфных комбинаторов , скрывающих рутинный код обхода и позволяющий программисту сфокусировать внимание на более важных аспектах.

Леммель является соавтором некоторых терминов, получивших широкое признание и распространение в научном сообществе. Среди них: «грамматическое обеспечение» (grammarware, по аналогии с программным обеспечением ) как дисциплина создания грамматик , схем баз данных , систем типов и прочих компонент компилятора ; «языковая инженерия» (software language engineering, по аналогии с программной инженерией ) как область научных исследований, изучающая языки программирования , моделирования , проектирования , спецификаций , разметки , описания аппаратуры или интерфейсов , предметно-ориентированные языки , языки запросов и т. п.; « хрестоматия программного обеспечения» (software chrestomathy) как репозиторий , в котором в связанном друг с другом виде хранятся исходный код , документация , , архитектура , сценарии сборки , структуры данных и прочие компоненты. В 2009 году он стал одним из основателей конференции по языковой инженерии SLE (International Conference of Software Language Engineering) . В 2018 году в издательстве Springer вышла его книга « : синтаксис , семантика и метапрограммирование » .

Ральф Леммель был одним из учёных, заложивших основы общей теории ( англ. bidirectional transformation , bx) и представлял там теорию языков программирования . Двунаправленные преобразования — это не всегда биективные отображения , двунаправленной может считаться любая пара преобразований, связанная определёнными законами. Например, представление получается из базы данных фильтрацией содержимого, но в некоторых системах изменения представления могут быть возвращены в исходную базу и применены к полному набору имеющихся там данных. Вклад Леммеля заключался в двунаправленных преобразованиях грамматик .

Примечания

  1. от 22 марта 2016 на Wayback Machine .
  2. от 29 апреля 2017 на Wayback Machine .
  3. на Google Scholar .
  4. на Mathematics Genealogy Project .
  5. Ralf Lämmel, от 6 октября 2016 на Wayback Machine , Shaker Verlag, 1999, ISBN 3-8265-6042-6 .
  6. Ralf Lämmel, . Sci. Comput. Program. 70(1): 1-30 (2008).
  7. Ralf Lämmel, David Saile, от 7 октября 2016 на Wayback Machine , PDPTA 2011.
  8. Ralf Lämmel, Simon L. Peyton Jones , . TLDI 2003: 26-37.
  9. Simon L. Peyton Jones , Ralf Lämmel, . APLAS 2003: 357.
  10. Ralf Lämmel, Simon L. Peyton Jones , . ICFP 2004: 244—255.
  11. Ralf Lämmel, Simon L. Peyton Jones , . ICFP 2005: 204—215.
  12. Ralf Lämmel, . POPL 2007: 137—142.
  13. Ralf Lämmel, PPDP 2009: 7-12.
  14. , Ralf Lämmel, , . ACM Trans. Softw. Eng. Methodol. 14(3): 331—380 (2005).
  15. , Ralf Lämmel, , , SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5452, Springer 2009, ISBN 978-3-642-00433-9 .
  16. , , Ralf Lämmel, , . IET Software 2(3): 161—164 (2008).
  17. , , Ralf Lämmel, , . IEEE Trans. Software Eng. 35(6): 737—741 (2009).
  18. Jean-Marie Favre, Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich, . WCRE 2012: 335—344.
  19. Ralf Lämmel: . Sci. Comput. Program. 97: 98-104 (2015).
  20. Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich, . TOOLS (50) 2012: 58-74.
  21. от 9 февраля 2018 на Wayback Machine .
  22. . Дата обращения: 18 июля 2018. 18 июля 2018 года.
  23. Ralf Lämmel. . — 2018. — doi : .
  24. Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger, . ICMT 2009: 260—283
Источник —

Same as Леммель, Ральф