Peter Landin (original) (raw)
Peter John Landin (5 juin 1930, Sheffield - 3 juin 2009) est un chercheur en informatique britannique dans le domaine de la conception des langages de programmation. Il a conçula machine SECD, le langage de programmation ISWIM et la règle d'indentation comme syntaxe (off-side ruleen anglais) et a proposé le terme de sucre syntaxique. Landin a souvent été plagié dans les titres d'articles d'informatiqueaprès qu'il a intitulé le sien, « Les 700 prochains langages de programmation ». Landin a été un chercheur actif dans le milieu des années 1960, quand il a travaillé avec Christopher Strachey.
| Property | Value |
|---|---|
| dbo:abstract | Peter John Landin (* 5. Juni 1930 in Sheffield; † 3. Juni 2009) war ein britischer Informatiker. Er war einer der Pioniere der Informatik, dessen Arbeiten aus den frühen 1960er Jahren einen profunden Einfluss auf die Entwicklung der Programmiersprachen ausübten. Sie lenkten den Blick auf den ‚applikativen Kern‘ von Programmiersprachen, eine Einsicht von großer Bedeutung für die Entwicklung von funktionalen Programmiersprachen und der denotationellen Semantik. Peter Landin studierte an der University of Cambridge. Von 1960 bis 1964 war er Assistent von Christopher Strachey, der zu dieser Zeit freier IT-Berater in London war. Die meisten seiner Publikationen stammen aus dieser Zeit und der kurzen Zeit, in der er in den Vereinigten Staaten bei Univac arbeitete. Danach wurde er an das Queen Mary College der University of London berufen und mit dem Aufbau der Informatik dort beauftragt. Dem widmete er sich in den 1970er und 1980er Jahren, entwickelte Kurse und lehrte theoretische Informatik. Auch nach seiner Emeritierung blieb er dem College als Lehrer erhalten. Auf einer Tagung über die Geschichte der Semantik von Programmen im Science Museum in London im Jahr 2001 berichtete er vom Beginn seiner wissenschaftlichen Karriere in der Informatik in den späten 1950er Jahren und davon, wie sehr er durch das Studium von John McCarthys Programmiersprache LISP beeinflusst wurde, und das zu einem Zeitpunkt, als Fortran die am häufigsten verwendete Programmiersprache war. Er nahm aktiv an der Definition der Programmiersprache ALGOL teil. und schrieb eine der ersten formalen Beschreibungen dieser Programmiersprache. Tony Hoare bezeichnet ihn als einen der Menschen, die ihm Algol 60 beibrachten und ihm so die Formulierung mächtiger rekursiver Algorithmen erlaubten: „Gegen Ostern 1961 wurde in Brighton, England ein ALGOL 60-Kurs mit Peter Naur, Edsger W. Dijkstra, und Peter Landin als Referenten veranstaltet. Dort erfuhr ich zum ersten Mal etwas über rekursive Prozeduren und sah, wie man das Programm eigentlich schreiben sollte, das ich früher nur so schwer erklären konnte. Gleich vor Ort schrieb ich die Prozedur, die ich unbescheidenerweise QUICKSORT nannte und auf der meine Karriere als Informatiker gegründet ist. Das Verdienst dafür ist dem Genie der Entwickler von ALGOL 60 geschuldet, die in ihrer Sprache Rekursion erlaubten und es mir so ermöglichten, meine Erfindung so elegant für die Welt zu beschreiben. Ich habe es immer als das höchste Ziel des Entwurfs von Programmiersprachen betrachtet, den eleganten Ausdruck guter Ideen zu ermöglichen.“ Landin zeichnet auch für die Erfindung der SECD-Maschine und der Programmiersprache ISWIM verantwortlich, erfand auch die (eigentlich: Abseitsregel) für Programmiersprachen und den Begriff Syntaktischer Zucker. Die off-side rule erlaubt es, Abschnitte innerhalb von Programmen durch den Gebrauch von white space zu definieren und wird unter anderem in den Sprachen Miranda, Haskell und Python verwendet. Eine andere Redeweise, die auf Landin zurückgeht, ist „Die nächsten 700 …“ nach seiner folgenreichen Arbeit The next 700 programming languages. Die Zahl 700 hatte Landin gewählt, weil er in einem Bericht der gelesen hatte, dass es damals bereits 1700 Programmiersprachen gab, um in über 700 Anwendungsbereichen zu ‚kommunizieren‘. Mit der Programmiersprache ISWIM, die er in diesem Vortrag konzipierte, hätte er gleichsam 700 Programmiersprachen auf einen Schlag geschaffen, da ISWIM als Kern um jeweils anwendungsspezifische Elemente ergänzt werden sollte. Sie enthält auch die scherzhafte Bemerkung „Ein möglicher Schritt im Forschungsprogramm wäre die Anfertigung von 1700 Doktorarbeiten mit dem Titel A Correspondence between x and Church's λ-notation“ eine Anspielung auf seine frühere Arbeit. Diese Art trockenen Humors findet sich in vielen seiner Veröffentlichungen. (de) Peter John Landin (5 juin 1930, Sheffield - 3 juin 2009) est un chercheur en informatique britannique dans le domaine de la conception des langages de programmation. Il a conçula machine SECD, le langage de programmation ISWIM et la règle d'indentation comme syntaxe (off-side ruleen anglais) et a proposé le terme de sucre syntaxique. Landin a souvent été plagié dans les titres d'articles d'informatiqueaprès qu'il a intitulé le sien, « Les 700 prochains langages de programmation ». Landin a été un chercheur actif dans le milieu des années 1960, quand il a travaillé avec Christopher Strachey. (fr) Peter John Landin (5 de junio de 1930 - 3 de junio de 2009) fue un informático británico. Landin fue pionero en el uso del cálculo lambda para modelar un lenguaje de programación, una idea que es esencial para el desarrollo de la programación funcional y semántica denotacional, utilizada en la actualidad en el software que se usa en ordenadores e internet. (es) Peter John Landin (5 June 1930 – 3 June 2009) was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of both functional programming and denotational semantics. (en) Peter Landin (5 giugno ...1930 – 3 giugno 2009) è stato un informatico britannico. È stato uno dei primi a realizzare che il calcolo lambda poteva essere utilizzato per modellare un linguaggio di programmazione, un'intuizione essenziale per lo sviluppo sia della programmazione funzionale che della semantica denotazionale. (it) 彼得·约翰·兰丁（英語：Peter John Landin，1930年6月5日－2009年6月3日），英国计算机科学家。他最早提出阿隆佐·邱奇的λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。 (zh) |
| dbo:academicDiscipline | dbr:Computer_science dbr:Education |
| dbo:birthDate | 1930-06-05 (xsd:date) |
| dbo:birthName | Peter John Landin (en) |
| dbo:birthPlace | dbr:West_Riding_of_Yorkshire dbr:Sheffield |
| dbo:citizenship | dbr:United_Kingdom |
| dbo:influencedBy | dbr:John_McCarthy_(computer_scientist) |
| dbo:institution | dbr:Queen_Mary_University_of_London dbr:Univac dbr:Massachusetts_Institute_of_Technology dbr:Christopher_Strachey |
| dbo:knownFor | dbr:SECD_machine dbr:Syntactic_sugar dbr:J_operator dbr:ISWIM dbr:Off-side_rule |
| dbo:thumbnail | wiki-commons:Special:FilePath/Peter_Landin.png?width=300 |
| dbo:wikiPageExternalLink | https://web.archive.org/web/20070926235118/http:/vmoc.museophile.org/pvs01/ https://hal.archives-ouvertes.fr/hal-00534929/file/PEER_stage2_10.1007%252Fs00165-009-0122-y.pdf http://www.vimeo.com/6638882 http://www.vimeo.com/8955127 https://www.theguardian.com/technology/2009/sep/22/peter-landin-obituary |
| dbo:wikiPageID | 661085 (xsd:integer) |
| dbo:wikiPageLength | 15499 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1104895428 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University dbc:Programming_language_researchers dbc:Bisexual_scientists dbr:Python_(programming_language) dbr:Queen_Mary_University_of_London dbr:Quicksort dbr:SECD_machine dbr:Bodleian_Library dbr:Brighton dbr:Denotational_semantics dbc:Bisexual_academics dbr:Peter_Naur dbr:United_Kingdom dbr:Univac dbr:University_of_Oxford dbr:International_Federation_for_Information_Processing dbr:International_standard dbc:1930_births dbc:2009_deaths dbr:Massachusetts_Institute_of_Technology dbr:Gay_Liberation_Front dbr:The_Computer_Journal dbr:Christopher_Strachey dbr:Clare_College,_Cambridge dbr:Miranda_(programming_language) dbr:Lisp_(programming_language) dbr:London dbr:Communications_of_the_ACM dbr:Computer_Conservation_Society dbr:Computer_science dbr:Computer_scientist dbr:Functional_programming dbr:Specification_(technical_standard) dbr:Theoretical_computer_science dbr:BCS-FACS dbc:20th-century_LGBT_people dbc:Alumni_of_Clare_College,_Cambridge dbc:LGBT_people_from_England dbr:British_Computer_Society dbc:LGBT_rights_activists_from_England dbr:Tony_Hoare dbr:West_Riding_of_Yorkshire dbr:ALGOL dbr:ALGOL_60 dbr:ALGOL_68 dbr:Alonzo_Church dbr:Edsger_W._Dijkstra dbr:F_Sharp_(programming_language) dbr:Fortran dbc:British_anti–nuclear_weapons_activists dbr:Paris dbr:Education dbr:Formal_Aspects_of_Computing dbr:Journal_of_the_ACM dbr:Haskell_(programming_language) dbr:The_Guardian dbr:Association_for_Computing_Machinery dbc:Academics_of_Queen_Mary_University_of_London dbr:Abstract_machine dbc:Bisexual_men dbc:Massachusetts_Institute_of_Technology_faculty dbc:English_computer_scientists dbc:Formal_methods_people dbc:People_educated_at_King_Edward_VII_School,_Sheffield dbc:LGBT_scientists_from_the_United_Kingdom dbr:John_C._Reynolds dbr:John_McCarthy_(computer_scientist) dbr:Lambda_calculus dbr:Syntactic_sugar dbr:Higher-Order_and_Symbolic_Computation dbr:J_operator dbr:ISWIM dbr:Sheffield dbr:Semantics_(computer_science) dbr:IFIP_Working_Group_2.1 dbr:Programming_language dbr:Olivier_Danvy dbr:Off-side_rule dbr:King_Edward_VII_School_(Sheffield) dbr:Science_Museum_(London) dbr:Springer-Verlag dbr:ICFP |
| dbp:birthDate | 1930-06-05 (xsd:date) |
| dbp:birthName | Peter John Landin (en) |
| dbp:birthPlace | Sheffield, West Riding of Yorkshire, England (en) |
| dbp:citizenship | dbr:United_Kingdom |
| dbp:date | 2007-09-26 (xsd:date) |
| dbp:education | dbr:Cambridge_University dbr:Clare_College,_Cambridge |
| dbp:fields | dbr:Computer_science dbr:Education |
| dbp:influences | dbr:John_McCarthy_(computer_scientist) |
| dbp:knownFor | dbr:SECD_machine dbr:Syntactic_sugar dbr:J_operator dbr:ISWIM dbr:Off-side_rule |
| dbp:name | Peter Landin (en) |
| dbp:title | Program Verification and Semantics: The Early Work (en) |
| dbp:url | https://web.archive.org/web/20070926235118/http:/vmoc.museophile.org/pvs01/ |
| dbp:wikiPageUsesTemplate | dbt:DBLP dbt:Authority_control dbt:Birth_date dbt:Citation_needed dbt:Cite_journal dbt:Cite_news dbt:Quote dbt:Reflist dbt:Short_description dbt:Use_British_English dbt:Use_dmy_dates dbt:Webarchive dbt:Death_date_and_age dbt:Infobox_scientist dbt:ALGOL_programming |
| dbp:workplaces | dbr:Queen_Mary_University_of_London dbr:Univac dbr:Massachusetts_Institute_of_Technology Christopher Strachey, computer consultant (en) |
| dct:subject | dbc:Programming_language_researchers dbc:Bisexual_scientists dbc:Bisexual_academics dbc:1930_births dbc:2009_deaths dbc:20th-century_LGBT_people dbc:Alumni_of_Clare_College,_Cambridge dbc:LGBT_people_from_England dbc:LGBT_rights_activists_from_England dbc:British_anti–nuclear_weapons_activists dbc:Academics_of_Queen_Mary_University_of_London dbc:Bisexual_men dbc:Massachusetts_Institute_of_Technology_faculty dbc:English_computer_scientists dbc:Formal_methods_people dbc:People_educated_at_King_Edward_VII_School,_Sheffield dbc:LGBT_scientists_from_the_United_Kingdom |
| gold:hypernym | dbr:Scientist |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatAnti–nuclearWeaponsActivists yago:WikicatBisexualMen yago:WikicatBritishComputerScientists yago:WikicatBritishPeople dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species yago:WikicatComputerScientists schema:Person yago:WikicatLGBTPeopleFromEngland yago:WikicatLGBTRightsActivistsFromEngland yago:WikicatLGBTScientistsFromTheUnitedKingdom yago:WikicatPeopleEducatedAtKingEdwardVIISchool,Sheffield yago:WikicatPeopleFromSheffield wikidata:Q901 yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Disputant109615465 yago:Educator110045713 yago:Intellectual109621545 yago:LivingThing100004258 yago:Male109624168 yago:Man110287213 yago:Militant110315837 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:Reformer110515194 yago:ResearchWorker110523076 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatAcademicsOfQueenMary,UniversityOfLondon yago:WikicatAlumniOfClareCollege,Cambridge yago:WikicatEnglishComputerScientists yago:WikicatFormalMethodsPeople yago:WikicatProgrammingLanguageResearchers |
| rdfs:comment | Peter John Landin (5 juin 1930, Sheffield - 3 juin 2009) est un chercheur en informatique britannique dans le domaine de la conception des langages de programmation. Il a conçula machine SECD, le langage de programmation ISWIM et la règle d'indentation comme syntaxe (off-side ruleen anglais) et a proposé le terme de sucre syntaxique. Landin a souvent été plagié dans les titres d'articles d'informatiqueaprès qu'il a intitulé le sien, « Les 700 prochains langages de programmation ». Landin a été un chercheur actif dans le milieu des années 1960, quand il a travaillé avec Christopher Strachey. (fr) Peter John Landin (5 de junio de 1930 - 3 de junio de 2009) fue un informático británico. Landin fue pionero en el uso del cálculo lambda para modelar un lenguaje de programación, una idea que es esencial para el desarrollo de la programación funcional y semántica denotacional, utilizada en la actualidad en el software que se usa en ordenadores e internet. (es) Peter John Landin (5 June 1930 – 3 June 2009) was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of both functional programming and denotational semantics. (en) Peter Landin (5 giugno ...1930 – 3 giugno 2009) è stato un informatico britannico. È stato uno dei primi a realizzare che il calcolo lambda poteva essere utilizzato per modellare un linguaggio di programmazione, un'intuizione essenziale per lo sviluppo sia della programmazione funzionale che della semantica denotazionale. (it) 彼得·约翰·兰丁（英語：Peter John Landin，1930年6月5日－2009年6月3日），英国计算机科学家。他最早提出阿隆佐·邱奇的λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。 (zh) Peter John Landin (* 5. Juni 1930 in Sheffield; † 3. Juni 2009) war ein britischer Informatiker. Er war einer der Pioniere der Informatik, dessen Arbeiten aus den frühen 1960er Jahren einen profunden Einfluss auf die Entwicklung der Programmiersprachen ausübten. Sie lenkten den Blick auf den ‚applikativen Kern‘ von Programmiersprachen, eine Einsicht von großer Bedeutung für die Entwicklung von funktionalen Programmiersprachen und der denotationellen Semantik. eine Anspielung auf seine frühere Arbeit. Diese Art trockenen Humors findet sich in vielen seiner Veröffentlichungen. (de) |
| rdfs:label | Peter Landin (en) Peter J. Landin (de) Peter Landin (es) Peter J. Landin (it) Peter J. Landin (fr) 彼得·兰丁 (zh) |
| owl:sameAs | freebase:Peter Landin http://www4.wiwiss.fu-berlin.de/dblp/resource/person/154703 yago-res:Peter Landin https://dblp.org/pid/61/151 wikidata:Peter Landin dbpedia-af:Peter Landin http://arz.dbpedia.org/resource/بيتر_لاندين http://azb.dbpedia.org/resource/پیتر_لندن dbpedia-de:Peter Landin dbpedia-es:Peter Landin dbpedia-fa:Peter Landin dbpedia-fr:Peter Landin dbpedia-he:Peter Landin dbpedia-it:Peter Landin http://mg.dbpedia.org/resource/Peter_J._Landin dbpedia-zh:Peter Landin https://global.dbpedia.org/id/54fGf |
| prov:wasDerivedFrom | wikipedia-en:Peter_Landin?oldid=1104895428&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Peter_Landin.png |
| foaf:isPrimaryTopicOf | wikipedia-en:Peter_Landin |
| foaf:name | Peter Landin (en) |
| is dbo:designer of | dbr:ISWIM |
| is dbo:wikiPageRedirects of | dbr:Landin,_Peter dbr:Peter_J._Landin dbr:P._J._Landin |
| is dbo:wikiPageWikiLink of | dbr:Queen_Mary_University_of_London dbr:List_of_computer_scientists dbr:2009_in_the_United_Kingdom dbr:List_of_important_publications_in_computer_science dbr:Let_expression dbr:List_of_programmers dbr:List_of_programming_language_researchers dbr:1930_in_the_United_Kingdom dbr:S-algol dbr:Christopher_Strachey dbr:Continuation dbr:Functional_programming dbr:PAL_(programming_language) dbr:Programming_language_theory dbr:BCS-FACS dbr:ALGOL dbr:ALGOL_68 dbr:Non-English-based_programming_languages dbr:List_of_Old_Edwardians_(Sheffield) dbr:Lambda_calculus dbr:Landin,_Peter dbr:J_operator dbr:ISWIM dbr:IBM_Laboratory_Vienna dbr:IFIP_Working_Group_2.1 dbr:Peter_J._Landin dbr:Off-side_rule dbr:P._J._Landin |
| is dbp:designer of | dbr:ISWIM |
| is foaf:primaryTopic of | wikipedia-en:Peter_Landin |
