Software
Software
Last modified: Wed Oct 20 21:04:11 2010 GMT.
- VeriML
- Thread implementation with hardware interrupts
- Context switches
- Certified self-modifying code
- Certified garbage collectors
- Linking certified GC with typed assembly languages
- XCAP and embedded code pointers
- SCAP and certified stack-based control abstraction
- CAP and certified dynamic storage allocation
- Foundational proof-carrying code
- Type system for certified binaries
- The FLINT certifying compiler backend is released as part of the SML/NJ system. We mirror the SML/NJ Distribution Site here in Connecticut, USA at www.smlnj.org/software.html.
- More information about SML/NJ can be found at the official SML/NJ Software page.
