| TI: A Type System for Java Bytecode Subroutines.
AU: Stata, Raymie; Abadi, Martin | Pág. 90 |
| TI: Dynamic Typing for Distributed Programming in Polymorphic Languages.
AU: Duggan, Dominic | Pág. 11 |
| TI: On Failure of the Pruning Technique in `Error Repair in Shift-Reduce Parsers.'.
AU: Bertsch, Eberhard; Nederhof, Mark-Jan | Pág. 1 |
| TI: Space-Efficient Scheduling of Nested Parallelism.
AU: Narlikar, Girija J.; Blelloch, Guy E. | Pág. 138 |
| TI: Specification and Verification of Fault-Tolerance, Timing, and Scheduling.
AU: Liu, Zhiming; Joseph, Mathai | Pág. 46 |