TY  - CONF
AU  - Peña Marí, Ricardo Vicente
PY  - 2010
UR  - https://hdl.handle.net/20.500.14352/45912
AB  - he talk summarizes the work done by the author and his group in the last few years on the functional language Safe. This is an experimental language aimed at platforms with limited memory resources, and at a proof-carrying code framework.  Its...
TI  - Static analysis and certifcation of safety properties of memory usage
TY  - conference output
ER  -