Loading...
Please wait, while we are loading the content...
Similar Documents
Operating system development with ATS: work in progress
| Content Provider | ACM Digital Library |
|---|---|
| Author | Xi, Hongwei Danish, Matthew |
| Abstract | Typical operating system design is marked by trade-offs between speed and reliability, features and security. Most systems are written in a low-level untyped programming language to achieve optimal hardware usage and for other practical reasons. But, this often results in CPU, memory, and I/O protection flaws due to mistakes in unverified code. On the other hand, fully verified systems are exceedingly hard to construct on any industrial scale. A high-level programming language, with an expressive type system suitable for systems programming, can help alleviate many of these problems without requiring the enormous effort of full verification. |
| Starting Page | 9 |
| Ending Page | 14 |
| Page Count | 6 |
| File Format | |
| ISBN | 9781605588902 |
| DOI | 10.1145/1707790.1707793 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2010-01-19 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Operating systems Dependent types Linear types |
| Content Type | Text |
| Resource Type | Article |
