Eva Rose

	2003
4		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

Coauthor Index

1

Kristoffer Høgsbro Rose

[3]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page