Eva Rose

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Eva Rose
Lightweight Bytecode Verification. J. Autom. Reason. 31 (3-4) (2003)
Eva Rose, Kristoffer Høgsbro Rose
Java access protection through typing. Concurr. Comput. Pract. Exp. 13 (13) (2001)
Eva Rose
Linear-Time Hierarchies for a Functional Language Machine Model. Sci. Comput. Program. 32 (1-3) (1998)
Eva Rose
Linear Time Hierarchies for a Functional Language Machine Model. ESOP (1996)