A Principled Approach to Operating System Construction in Haskell
Edit Page
Report
Scan day: 16 February 2014 UTC
12
Virus safety - good
Description: Research paper on monadic interface to low-level hardware features that are useful basis for building operating systems in Haskell; has primitives to control memory management hardware, user-mode process execution, low-level device I/O. Abstract; PDF, PS.
A Principled Approach to Operating System Construction in Haskell A Principled Approach to Operating System Construction in Haskell We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controlling memory management hardware, user-mode process execution, and low-level device I/O. The interface enforces memory safety in nearly all circumstances. Its behavior is specified in part by formal assertions written in a programming logic called P-Logic. The interface has been implemented on bare IA32 hardware using the Glasgow Haskell Compiler (GHC) runtime system. We show how a variety of simple O/S kernels can be constructed on top of the interface, including a simple separation kernel and a demonstration system in which the kernel, window system, and all device drivers are written in Haskell.
Size: 912 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | A Principled Approach to Operating System Construction in Haskell |
| Keywords: | |
| Description: | |
| IP-address: | 213.112.246.49 |
WHOIS Info
| NS | Name Server:NS1.GRATISDNS.DK Name Server:VPS1.WEBCON.SE Name Server:EK1.ALTOCUMULUS.ORG Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: DNSSEC:Unsigned |
| WHOIS | Status: ok |
| Date | Creation Date: 2003-11-06T05:19:26Z Expiry Date: 2014-11-06T05:19:26Z |