View in EDS ePub Full Text

Edsger Wybe Dijkstra : His Life, Work, and Legacy

Saved in:
Bibliographic Details
Title: Edsger Wybe Dijkstra : His Life, Work, and Legacy
Description: Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for “fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design.” Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity.In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra's numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.
Authors: Krzysztof R. Apt, Tony Hoare
Resource Type: eBook.
Subjects: Computer programming
Categories: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Parallel Processing
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-epub
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 3766581
RelevancyScore: 1110
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1109.74133300781
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3766581$EPUB&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3766581$EPUB&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Edsger Wybe Dijkstra : His Life, Work, and Legacy
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for “fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design.” Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity.In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra's numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Krzysztof+R%2E+Apt%22">Krzysztof R. Apt</searchLink><br /><searchLink fieldCode="AR" term="%22Tony+Hoare%22">Tony Hoare</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Programming+%2F+General%22">COMPUTERS / Programming / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Software+Development+%26+Engineering+%2F+General%22">COMPUTERS / Software Development & Engineering / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Parallel+Processing%22">COMPUTERS / Parallel Processing</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=3766581
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.1
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Computer programming
        Type: general
    Titles:
      – TitleFull: Edsger Wybe Dijkstra : His Life, Work, and Legacy
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Krzysztof R. Apt
      – PersonEntity:
          Name:
            NameFull: Tony Hoare
      – PersonEntity:
          Name:
            NameFull: Krzysztof R. Apt
      – PersonEntity:
          Name:
            NameFull: Tony Hoare
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2022
            – D: 11
              M: 12
              Type: profile
              Y: 2025
          Identifiers:
            – Type: isbn-electronic
              Value: 9781450397728
          Titles:
            – TitleFull: Edsger Wybe Dijkstra : His Life, Work, and Legacy
              Type: main
ResultId 1