操作系统领域的逻辑学家:微软的抽象状态机

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science Pub Date : 2001-06-16 DOI:10.1109/LICS.2001.932489

Y. Gurevich

{"title":"操作系统领域的逻辑学家:微软的抽象状态机","authors":"Y. Gurevich","doi":"10.1109/LICS.2001.932489","DOIUrl":null,"url":null,"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.","PeriodicalId":366313,"journal":{"name":"Proceedings 16th Annual IEEE Symposium on Logic in Computer Science","volume":"165 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Logician in the land of OS: abstract state machines in Microsoft\",\"authors\":\"Y. Gurevich\",\"doi\":\"10.1109/LICS.2001.932489\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":366313,\"journal\":{\"name\":\"Proceedings 16th Annual IEEE Symposium on Logic in Computer Science\",\"volume\":\"165 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-06-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 16th Annual IEEE Symposium on Logic in Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/LICS.2001.932489\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 16th Annual IEEE Symposium on Logic in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/LICS.2001.932489","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

对诸如“什么是计算”之类的基础问题的分析导致了抽象状态机(asm)范式的草图。接下来是对asm应用程序的简要讨论。然后，我们提出了连接传统LICS主题和抽象状态机的一些理论问题。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Logician in the land of OS: abstract state machines in Microsoft

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science

自引率

0.00%

发文量

期刊最新文献

A model-theoretic approach to regular string relations On the decision problem for the guarded fragment with transitivity A second-order system for polytime reasoning using Gradel's theorem Synthesizing distributed systems Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy