Specification of OS kernel?

Article View: comp.specification

Article #392

Back to comp.specification Previous Next

#392

From: Akira Mori
Date: Mon, 16 Nov 1992 07:30

17 lines
879 bytes

Hi folks!

I am looking for a formal (hopefully equational) specification of
the kernel of an operationg system. I have seen some specifications
of simple compilers before.

We are considering the spec. transformation to deal with the
changes of data structures like seen in OS version mismatches.

Any pointer is appreciated.

Many thanks in advance.
--
Akira Mori
Information Science
Kyoto University
Japan

Technical Details

Message-ID: <MORI.92Nov16163041@procyon.kuis.kyoto-u.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!sun-barr!sh.wide!wnoc-kyo!kuis!isfs!mori

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!sun-barr!sh.wide!wnoc-kyo!kuis!isfs!mori
From: mori@kuis.kyoto-u.ac.jp (Akira Mori)
Subject: Specification of OS kernel?
Message-ID: <MORI.92Nov16163041@procyon.kuis.kyoto-u.ac.jp>
Sender: news@kuis.kyoto-u.ac.jp
Nntp-Posting-Host: procyon.kuis.kyoto-u.ac.jp
Organization: Department of Infomation Science, Kyoto University, Japan
Date: Mon, 16 Nov 1992 07:30:41 GMT
Lines: 17