Logician in the Land of OS: Abstract State Machines in Microsoft

Authors:
Yuri Gurevich
Affiliations:
-
Venue:
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Year:
2001

Citing 0
Cited 4

Mechanising first-order temporal resolution

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Mechanising first-order temporal resolution

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Quantum computing and abstract state machines

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Yuri, logic, and computer science

Fields of logic and computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.