Safe and Flexible Dynamic Linking of Native Code
- 13 June 2001
- book chapter
- Published by Springer Nature
- p. 147-176
- https://doi.org/10.1007/3-540-45332-6_6
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Type-safe castACM SIGPLAN Notices, 2000
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- Intensional polymorphism in type-erasure semanticsACM SIGPLAN Notices, 1998
- UnitsACM SIGPLAN Notices, 1998
- Dynamic linking of software componentsComputer, 1997
- Safe kernel extensions without run-time checkingACM SIGOPS Operating Systems Review, 1996
- ExokernelACM SIGOPS Operating Systems Review, 1995
- Extensibility safety and performance in the SPIN operating systemACM SIGOPS Operating Systems Review, 1995
- Dynamic typing in a statically typed languageACM Transactions on Programming Languages and Systems, 1991
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988