Write SPARK code to avoid some of bugs - Githubissues

metasepi / postmortem

Postmortem for open-source operating systems

MIT License

1 stars 0 forks source link

Write SPARK code to avoid some of bugs #28

Closed master-q closed 4 years ago

master-q commented 4 years ago

https://www.cse.msu.edu/~cse814/Lectures/09_spark_intro.pdf

Not support pointers?
Not support dynamic arrays?
Not support concurrency?

master-q commented 4 years ago

If so, SPARK is not suitable for this postmortem.