Sciweavers

6 search results - page 2 / 2
» A Syntactic Approach to Foundational Proof-Carrying Code
Sort
View
OOPSLA
2007
Springer
13 years 11 months ago
Component nextgen: a sound and expressive component framework for java
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...
James Sasitorn, Robert Cartwright