Notice: Unexpected clearActionName after getActionName already called in /var/www/html/includes/context/RequestContext.php on line 338
Peter J. Landin – Wikipedia Zum Inhalt springen

Peter J. Landin

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Peter Landin)

Peter John Landin (* 5. Juni 1930 in Sheffield; † 3. Juni 2009<ref name=LtU>Peter Landin, Lambda the Ultimate, 4 June 2009.</ref>) 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.<ref name=LtU />

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.<ref>Acknowledged in the forward to the text book Programming from First Principles by Richard Bornat. Published by Prentice Hall, 1987. ISBN 9780137291045.</ref> 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<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20070926235118 

      | {{#ifeq: 20070926235118 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Program Verification and Semantics: Report | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: Report}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/report.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20070926235118}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Program Verification and Semantics: Report | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: Report}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/report.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20070926235118}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Program Verification and Semantics: Report | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: Report}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/report.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Program Verification and Semantics: Report | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: Report}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/report.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Program Verification and Semantics: Report | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: Report}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/report.html}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Program Verification and Semantics: Report | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: Report}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/report.html}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20070926235118|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://vmoc.museophile.org/pvs01/report.html}}
    || {{#if:  || }}
  }}{{#if: Program Verification and Semantics: Report
    | {{#if: {{#invoke:WLink|isBracketedLink|Program Verification and Semantics: Report}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://vmoc.museophile.org/pvs01/report.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://vmoc.museophile.org/pvs01/report.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/report.html }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}, 2001.</ref> 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.<ref>Listed amongst those who attended the November 1959 conference in [Paris] [1] and the 1962 conference [2].</ref> und schrieb eine der ersten formalen Beschreibungen dieser Programmiersprache<ref> P. J. Landin: A formal description of Algol 60. In Steel [Ste64], pages 266–294.</ref>. 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.“<ref>ACM Turing Award Lecture: The Emperor's Old Clothes. C. Antony R. Hoare, 1980, Published in the Communications of the ACM.</ref>

Landin zeichnet auch für die Erfindung der SECD-Maschine und der Programmiersprache ISWIM verantwortlich, erfand auch die off-side rule (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.<ref>{{#invoke:Vorlage:Literatur|f}}{{#if: 

       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = 
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Communications of the ACM
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:Landin|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref> Die Zahl 700 hatte Landin gewählt, weil er in einem Bericht der American Mathematical Association gelesen hatte, dass es damals bereits 1700 Programmiersprachen gab, um in über 700 Anwendungsbereichen zu ‚kommunizieren‘.<ref>Computer Software Issues, an American Mathematical Association Prospectus, July 1965.</ref> 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.<ref>A correspondence between ALGOL 60 and Church's Lambda-notation. Comm. ACM 8 (1965), 89–101; 158–165.</ref> Diese Art trockenen Humors findet sich in vielen seiner Veröffentlichungen.

Wichtige Veröffentlichungen

  • The mechanical evaluation of expressions. The Computer Journal, vol 6 (1964), no. 4. pp. 308–320
  • A correspondence between ALGOL 60 and Church's lambda notation. Commun. ACM 8, 89–101, 158–165.
  • The next 700 programming languages. Commun. ACM 9, 3, 157–166.

Einzelnachweise

<references />

Weblinks

  • <templatestyles src="Webarchiv/styles.css" />{{#if:20070926235118
      | {{#ifeq: 20070926235118 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Program Verification and Semantics: The Early Work | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: The Early Work}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20070926235118}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Program Verification and Semantics: The Early Work | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: The Early Work}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20070926235118}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Program Verification and Semantics: The Early Work | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: The Early Work}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Program Verification and Semantics: The Early Work | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: The Early Work}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Program Verification and Semantics: The Early Work | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: The Early Work}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Program Verification and Semantics: The Early Work | {{#invoke:WLink|getEscapedTitle|Program Verification and Semantics: The Early Work}} | {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20070926235118|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://vmoc.museophile.org/pvs01/}}
    || {{#if:  || }}
  }}{{#if: Program Verification and Semantics: The Early Work
    | {{#if: {{#invoke:WLink|isBracketedLink|Program Verification and Semantics: The Early Work}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://vmoc.museophile.org/pvs01/%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://vmoc.museophile.org/pvs01/%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://vmoc.museophile.org/pvs01/ }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} meeting, 2001
{{#if: Landin, Peter J. | {{#if: Landin, Peter John | {{#if: britischer Informatiker | {{#if: 5. Juni 1930 | {{#if: Sheffield | {{#if: 3. Juni 2009 | {{#if: |
Personendaten
NAME Landin, Peter J.

}}

ALTERNATIVNAMEN Landin, Peter John

}}

KURZBESCHREIBUNG britischer Informatiker

}}

GEBURTSDATUM 5. Juni 1930

}}

GEBURTSORT Sheffield

}}

STERBEDATUM 3. Juni 2009

}}

STERBEORT

}}

Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Peter_J._Landin&oldid=1692721“