Niklaus Virt
Niklaus Emil Virt (nem. Niklaus Emil Wirth; Vintertur, 15. februar 1934 — Cirih, 1. januar 2024) bio je švajcarski informatičar.[3] Zvanje inženjera elektronike je stekao na Švajcarskom univerzitetu tehnologije u Cirihu 1959. a doktorirao je na Univerzitetu Kalifornije u Berkliju 1963. Smatra se izuzetnim stručnjakom iz oblasti računarstva,[4] a najpoznatiji je kao tvorac programskog jezika Paskal. Osim paskala projektovao je i programske jezike Algol, Modula, Modula-2 i Oberon. Za svoj rad je 1984. godine dobio Tjuringovu nagradu.[3][5][6] Predavao je na univerzitetu Stanford na katedri za računarske nauke (1963 — 1967) kao i na Švajcarskom tehnološkom univerzitetu. 1975. godine je napisao knjigu „Algoritmi + strukture podataka = programi“ (Algorithms + Data Structures = Programs). Od aprila 1999. se nalazi u penziji.
Niklaus Virt | |
---|---|
Lični podaci | |
Datum rođenja | 15. februar 1934. |
Mesto rođenja | Vintertur, Švajcarska |
Datum smrti | 1. januar 2024.89 god.) ( |
Mesto smrti | Cirih, Švajcarska |
Obrazovanje | ETH Cirih, Laval University |
Nagrade |
|
Zvanični veb-sajt | |
people |
Biografija uredi
Virt je rođen u Vinterturu, Švajcarska, 1934. godine. Godine 1959, stekao je diplomu elektronskog inženjera na Švajcarskom saveznom institutu za tehnologiju u Cirihu (ETH Cirih). Godine 1960, magistrirao je na Univerzitetu Laval u Kanadi. Zatim je 1963. dobio doktorat iz elektrotehnike i računarskih nauka (EECS) na Kalifornijskom univerzitetu u Berkliju, pod nadzorom pionira kompjuterskog dizajna Harija Haskija.
Od 1963. do 1967. radio je kao docent računarskih nauka na Univerzitetu Stanford i ponovo na Univerzitetu u Cirihu. Zatim je 1968. postao profesor informatike na ETH Cirihu, uzimajući dva jednogodišnja odsustva radi rada u Xerox PARC u Kaliforniji (1976–1977 i 1984–1985). Penzionisan je 1999. godine.
On je bio je uključen u razvoju međunarodnih standarda u programiranju i informatici, kao član Međunarodne federacije za obradu informacija (IFIP) IFIP radne grupe 2.1 za algoritamske jezike i račune,[7] koja je specificirala, održava i podržava programske jezike ALGOL 60 i ALGOL 68.[8]
Godine 2004, postao je član Muzeja istorije kompjutera „za suštinski rad na programskim jezicima i algoritmima, uključujući Ojler, Algol-V, Paskal, Modulu i Oberon.“[9]
Programski jezici uredi
Virt je bio glavni dizajner programskih jezika Ojler (1965), PL360 (1966), ALGOL W (1966), Paskal (1970),[10] Modula (1975), Modula-2 (1978), Oberon (1987), Oberon-2 (1991) i Oberon-07 (2007). Takođe je bio glavni deo tima za projektovanje i implementaciju operativnih sistema Medos-2 (1983, za radnu stanicu Lilit), i Oberon (1987, za radnu stanicu Ceres), i za Lola (1995) dizajn digitalnog hardvera i simulacioni sistem. Godine 1984, dobio je Tjuringovu nagradu Udruženja za računarske mašine (ACM) za razvoj ovih jezika. Godine 1994, primljen je za člana ACM-a.
Publikacije uredi
Njegova knjiga, napisana zajedno sa Ketlin Džensen, Paskal korisnički priručnik i izveštaj, poslužila je kao osnova mnogih napora za implementaciju jezika tokom 1970-ih i 1980-ih u Sjedinjenim Državama i širom Evrope.
Njegov članak Razvoj programa postepenim usavršavanjem, o nastavi programiranja, smatra se klasičnim tekstom u softverskom inženjerstvu..[11] Godine 1975, napisao je knjigu Algoritmi + Strukture podataka = Programi, koja je stekla široko priznanje.[12] Glavne revizije ove knjige sa novim naslovom Algoritmi + strukture podataka objavljene su 1985. i 2004. Primeri u prvom izdanju napisani su na Paskalu. Oni su u kasnijim izdanjima zamenjeni primerima napisanim u Moduli-2 i Oberonu.
Njegov udžbenik, Sistematsko programiranje: Uvod, smatran je dobrim izvorom za studente koji su želeli da rade više od samog kodiranja. Na naslovnoj strani šestog izdanja (1973) pisalo je da je knjiga „... prilagođena potrebama ljudi koji kurs o sistematskoj konstrukciji algoritama vide kao deo svoje osnovne matematičke obuke, a ne neposrednim potrebama onih koji žele da mogu povremeno da kodiraju problem i predaju ga svom računaru radi trenutnog rešavanja.“[13] To je smatrano tekstom koji je težak za studiranje, tražio se kao imperativ za one koji su zainteresovani za numeričku matematiku.[14]
Godine 1992, on i Jirg Gutkneht objavili su kompletnu dokumentaciju operativnog sistema Oberon.[15] Druga knjiga, sa Martinom Rejzerom, bila je zamišljena kao vodič za programiranje.[16]
Virtov zakon uredi
Godine 1995, popularizovao je izreku koja se sada zove Virtov zakon, koja kaže da softver postaje sporiji brže nego što hardver postaje brži. U svom radu iz 1995. godine Molba za štedljiv softver on to pripisuje Martinu Rajseru.[17]
Reference uredi
- ^ „IEEE Emanuel R. Piore Award Recipients” (PDF). IEEE. Arhivirano iz originala (PDF) 24. 11. 2010. g. Pristupljeno 20. 3. 2021.
- ^ „Niklaus Wirth 2004 Fellow”.
- ^ a b „Niklaus Emil Wirth | Swiss computer scientist | Britannica”. www.britannica.com (na jeziku: engleski). Pristupljeno 2022-01-24.
- ^ Haigh, Thomas (1984). „Niklaus E. Wirth”. A. M. Turing Award. Association for Computing Machinery. Pristupljeno 15. 10. 2019.
- ^ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algorithms . McGraw-Hill Education. str. 317. ISBN 978-0-07-352340-8.
- ^ Bibliography of Turing Award lectures, DBLP
- ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17. 08. 2016). „Profile of IFIP Working Group 2.1”. Foswiki. Pristupljeno 2020-10-04.
- ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (02. 03. 2011). „ScopeEtc: IFIP21: Foswiki”. Foswiki. Pristupljeno 2020-10-04.
- ^ „Niklaus Wirth: 2004 Fellow”. Computer History Museum (CHM). Pristupljeno 15. 10. 2019.
- ^ Petzold, Charles (9. 9. 1996). „Programming Languages: Survivors and Wannabes”. The New York Times. ISSN 0362-4331. Pristupljeno 8. 3. 2018.
- ^ Wirth, Niklaus (2001). „Program Development by Stepwise Refinement”. Ur.: Broy, Manfred; Denert, Ernst. Pioneers and Their Contributions to Software Engineering. Berlin, Heidelberg: Springer. ISBN 978-3642483554. S2CID 11348419. doi:10.1007/978-3-642-48354-7.
- ^ Citations collected by the Association for Computing Machinery (ACM)
- ^ Wirth, Niklaus (1973). „Cover flap”. Systematic Programming: An Introduction. ISBN 0-13-880369-2.
- ^ Abrahams, Paul (jul 1974). „Systematic Programming: An Introduction by Niklaus Wirth”. Mathematics of Computation. American Mathematical Society. 28 (127): 881—883. JSTOR 2005728. doi:10.2307/2005728.
- ^ Wirth, Niklaus; Gutknecht, Jürg (1992). Project Oberon: The Design of an Operating System and Compiler (PDF). Addison-Wesley, ACM Press. ISBN 978-0201544282. Arhivirano iz originala (PDF) 12. 4. 2013. g. Out of print. Online version of a 2nd edition. 2005 edition, PDF.
- ^ Reiser, Martin; Wirth, Niklaus (1992). Programming in Oberon: Steps Beyond Pascal and Modula (PDF). Addison-Wesley, ACM Press. ISBN 978-0201565430. Arhivirano iz originala (PDF) 16. 04. 2016. g. Pristupljeno 06. 09. 2022.. Out of print.
- ^ Wirth, Niklaus (februar 1995). „A Plea for Lean Software”. Computer. 28 (2): 64—68. doi:10.1109/2.348001.
Litaratura uredi
- Wirth, Niklaus (februar 1995). „A Plea for Lean Software”. Computer. 28 (2): 64—68. doi:10.1109/2.348001. Pristupljeno 13. 01. 2007.
- Ross, Philip E. (decembar 2003). „5 Commandments”. IEEE Spectrum.
- Reiser, Martin (1991). The Oberon System User Guide and Programmer's Manual. ACM Press. ISBN 0-201-54422-9.
- Welsh, Geoffrey (1987). „Yes, There IS a Difference Between Micros and 'Big' Computers”. TPUG News. 2 (1). Arhivirano iz originala 10. 3. 2005. g.
- Böszörményi, László; Gutknecht, Jürg; Pomberger, Gustav, ur. (2000). The School of Niklaus Wirth: The Art of Simplicity. Morgan Kaufmann. ISBN 1-55860-723-4.
- Roger S. Scowen: Extended BNF — A generic base standard. Software Engineering Standards Symposium 1993.
- David A. Wheeler, Don't Use ISO/IEC 14977 Extended Backus-Naur Form (EBNF), 2019.
- International standard (ISO 14977), which is one of many formats for EBNF, is now freely available as Zip-compressed PDF file.
- Hamming, Richard W. (1950). „Error detecting and error correcting codes” (PDF). Bell System Technical Journal. 29 (2): 147—160. MR 0035935. S2CID 61141773. doi:10.1002/j.1538-7305.1950.tb00463.x. Arhivirano iz originala (PDF) 25. 5. 2006. g.
- Ling, San; Xing, Chaoping (2004). Coding Theory: a First Course. Cambridge: Cambridge University Press. ISBN 978-0-521-82191-9.
- Pless, Vera (1982). Introduction to the Theory of Error-Correcting Codes. New York: Wiley. ISBN 978-0-471-08684-0.
- Morgan, Samuel P. (septembar 1998). „Richard Wesley Hamming (1915–1998)” (PDF). Notices of the AMS. 45 (8): 972—977. ISSN 0002-9920. Pristupljeno 30. 08. 2014.
Spoljašnje veze uredi
- Zvanični veb-sajt, ETH Zürich
- Lična veb stranica
- Biography at ETH Zürich
- Niklaus E. Wirth at ACM
- Wirth, Niklaus (april 1971). „Program Development by Stepwise Refinement”. Communications of the ACM. 14 (4): 221—227. S2CID 13214445. doi:10.1145/362575.362577. hdl:20.500.11850/80846 .
- Wirth, N. (1974). „On the Design of Programming Languages” (PDF). Proc. IFIP Congress 74: 386—393.
- Turing Award Lecture, 1984
- Pascal and its Successors paper by Niklaus Wirth – also includes short biography.
- A Few Words with Niklaus Wirth
- The School of Niklaus Wirth: The Art of Simplicity, by László Böszörményi, Jürg Gutknecht, Gustav Pomberger (editors). dpunkt.verlag; Morgan Kaufmann Publishers, 2000. ISBN 3-932588-85-1, ISBN 1-55860-723-4.
- The book Compiler Construction
- The book Algorithms and Data Structures
- The book Project Oberon – The Design of an Operating System and Compiler. The book about the Oberon language and Operating System is now available as a PDF file. The PDF file has an additional appendix Ten Years After: From Objects to Components.
- Project Oberon 2013