Travelled to:3 × USA
Collaborated with:J.Rehof E.Ruf R.L.Constable
Talks about:type (2) metareason (1) special (1) complet (1) bytecod (1) theori (1) subtyp (1) formal (1) elabor (1) java (1)
Person: Todd B. Knoblock
DBLP: Knoblock:Todd_B=
Contributed to:
2000
1996
1986Wrote 3 papers:
- POPL-2000-KnoblockR #bytecode #java #type system
- Type Elaboration and Subtype Completion for Java Bytecode (TBK, JR), pp. 228–242.
- PLDI-1996-KnoblockR
- Data Specialization (TBK, ER), pp. 215–225.
- LICS-1986-KnoblockC #type system
- Formalized Metareasoning in Type Theory (TBK, RLC), pp. 237–248.