• DOI:10.15476/ELTE.2012.001
Corpus ID: 55014889

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

View via Publisher

doctorat.ubbcluj.ro

Save to Library

Create Alert

Cite

Launch Research Feed