Sciweavers

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