Title :
Logician in the land of OS: abstract state machines in Microsoft
Abstract :
Analysis of foundational problems like “What is computation” leads to a sketch of the paradigm of abstract state machines (ASMs). This is followed by a brief discussion on ASMs applications. Then we present some theoretical problems that bridge between the traditional LICS themes and abstract state machines
Keywords :
finite automata; formal logic; Microsoft; abstract state machines; computation; formal logic; Algebra; Application software; Bridges; Computer science; Logic functions; Programming; Software engineering;
Conference_Titel :
Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on
Conference_Location :
Boston, MA
Print_ISBN :
0-7695-1281-X
DOI :
10.1109/LICS.2001.932489
