CoreASM

#	Item
1	CoreASM: An Extensible ASM Execution Engine Roozbeh Farahbod1 , Vincenzo Gervasi2 , and Uwe Gl¨ Add to Reading List Source URL: stl.sfu.ca Language: English - Date: 2010-04-07 20:21:20 Formal methods Abstract state machines Scheduling Kernel CoreASM Java Linux kernel Computing Software Models of computation
2	Design and Specification of the CoreASM Execution Engine Part 1: The Kernel Add to Reading List Source URL: stl.sfu.ca Language: English - Date: 2010-04-07 20:21:20 CoreASM Abstract state machines Automata theory Interpreter Java Extensible programming Finite-state machine Portable Executable Programming language Computing Software Models of computation