Writing Practical, Memory Management Code with a Strictly-Typed, Assembly Language (2006) | Lobsters

9

Writing Practical, Memory Management Code with a Strictly-Typed, Assembly Language (2006) ☶ pdf assembly formalmethods security web.yl.is.s.u-tokyo.ac.jp
via nickpsecurity 6 months ago | cached | 2 comments

2

Typed Operating System can be downloaded here.

4

dbp edited 6 months ago | link

This should probably have a date on it – the last update for the code was 2005; I’m not sure about the paper, but it looks like it formed part of Toshiyuki Maeda’s thesis (2006), and the article was written about in 2008 here: http://lambda-the-ultimate.org/node/2717
1. 1
  
  nickpsecurity 6 months ago | link
  
  I didn’t have a date on it probably cuz I found it on mobile. Thanks for the dates. I’ll put 2006.