6 search results - page 2 / 2 » A Syntactic Approach to Foundational Proof-Carrying Code |
178
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...