2003 | ||
---|---|---|
4 | EE | Eva Rose: Lightweight Bytecode Verification. J. Autom. Reasoning 31(3-4): 303-334 (2003) |
2001 | ||
3 | Eva Rose, Kristoffer Høgsbro Rose: Java access protection through typing. Concurrency and Computation: Practice and Experience 13(13): 1125-1132 (2001) | |
1998 | ||
2 | Eva Rose: Linear-Time Hierarchies for a Functional Language Machine Model. Sci. Comput. Program. 32(1-3): 109-143 (1998) | |
1996 | ||
1 | Eva Rose: Linear Time Hierarchies for a Functional Language Machine Model. ESOP 1996: 311-325 |
1 | Kristoffer Høgsbro Rose | [3] |