| Text: | abstract state machines subjects methodology applications asm studies algorithm, mind abstract, modeled generalized machine closely faithfully ... stick abstract level abstracting low level details oblivious possible higher level picture states algorithm reflect pertinent information, particular small instruction set suffices cases. adapted , dean rosenzweig, key contributor early days asm research, passed away january . links couple tributes dean written shortly dean death note contains non proprietary regarding applications asms various domains. see . url update thursday, apr edt |
|
Source:
| |