home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / specific / 532 < prev    next >
Encoding:
Text File  |  1992-11-15  |  851 b   |  29 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!cs.utexas.edu!sun-barr!sh.wide!wnoc-kyo!kuis!isfs!mori
  3. From: mori@kuis.kyoto-u.ac.jp (Akira Mori)
  4. Subject: Specification of OS kernel?
  5. Message-ID: <MORI.92Nov16163041@procyon.kuis.kyoto-u.ac.jp>
  6. Sender: news@kuis.kyoto-u.ac.jp
  7. Nntp-Posting-Host: procyon.kuis.kyoto-u.ac.jp
  8. Organization: Department of Infomation Science, Kyoto University, Japan
  9. Date: Mon, 16 Nov 1992 07:30:41 GMT
  10. Lines: 17
  11.  
  12. Hi folks!
  13.  
  14. I am looking for a formal (hopefully equational) specification of
  15. the kernel of an operationg system. I have seen some specifications
  16. of simple compilers before.
  17.  
  18. We are considering the spec. transformation to deal with the
  19. changes of data structures like seen in OS version mismatches.
  20.  
  21. Any pointer is appreciated.
  22.  
  23. Many thanks in advance.
  24. --
  25. Akira Mori
  26. Information Science
  27. Kyoto University
  28. Japan
  29.