Specification of OS kernel?

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Akira Mori Mon, 16 Nov 1992 07:30

#392

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads