Technical Reports
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
6 matches found for Wang, Daniel C.:
- Wang, Daniel C.
- The Zephyr Abstract Syntax Description Language, TR-554-97, October 1997
- Safe Garbage Collection = Regions + Intensional Type Analysis, TR-609-99, October 1999
- Type-Preserving Garbage Collectors (Extended Version), TR-624-00, December 2000
- Managing Memory with Types (Thesis), TR-640-01, December 2001
- JVM TCB: Measurements of the Trusted Computing Base of Java Virtual Machines, TR-647-02, April 2002
- Safe Heterogeneous Applications: Curing the Java Native Interface, TR-715-04, October 2004
