Functional Modelling of Operating Systems

@inproceedings{Pli2015FunctionalMO,
  title={Functional Modelling of Operating Systems},
  author={G{\'a}bor P{\'a}li},
  year={2015}
}
  • Gábor Páli
  • Published 2015
  • Computer Science
  • Despite the constant efforts of coming up with new ideas and approaches, operating systems’ development has continued to be based on the same fundamental technologies of the 1970s, when the UNIX operating system and the C programming language were first developed. However, there are certain segments of the market, where companies and software engineers are fed up with C and its derivatives, and they are seeking something that promises more automation in the development of low-level systems. A… CONTINUE READING

    References

    SHOWING 1-10 OF 78 REFERENCES
    Extending Little Languages into Big Systems
    • 1
    High-Level Abstractions for Low-Level Programming
    • 13
    LLVM: AN INFRASTRUCTURE FOR MULTI-STAGE OPTIMIZATION
    • 233
    • PDF
    Singularity: rethinking the software stack
    • 303
    • PDF
    A functional approach to memory-safe operating systems
    • 2
    • PDF
    seL4: formal verification of an OS kernel
    • 1,376
    • PDF