[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

ShawB75

  1. B Shaw (ed)
  2. Formal Aspects of Computer Science
  3. Joint IBM University of Newcastle upon Tyne Seminar 3rd-6th Sep 74
  4. =PROCEEDINGS FORMAL
  5. Papers by Bekic Hoare Hopcroft Rabin Scott Winograd Zemanek.
  6. Hoare(p17) joke on ugly goto vs decent abortion
  7. efficiency and termination related.
  8. H Zemanek on history(p180) "We may not realise but a blue-print is a formal definition of the object to be produced..."
  9. Cunningham (p209) use of regular algebras to model algorithms via Kleene Sequence [Backhouse & Carre??]

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]