Sciweavers

13 search results - page 1 / 3
» cj 2002
Sort
View
CJ
2002
65views more  CJ 2002»
13 years 5 months ago
Reverse Execution of Java Bytecode
Jonathan J. Cook
CJ
2002
73views more  CJ 2002»
13 years 5 months ago
A Thread of HOL Development
Michael Norrish, Konrad Slind
CJ
2002
65views more  CJ 2002»
13 years 5 months ago
Practical Earley Parsing
John Aycock, R. Nigel Horspool
CJ
2002
79views more  CJ 2002»
13 years 5 months ago
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
Muffy Calder, Savi Maharaj, Carron Shankland