主题演讲:图灵机编程

HILT '12 Pub Date : 2012-11-29 DOI:10.1145/2402676.2402687

B. Liskov

{"title":"主题演讲:图灵机编程","authors":"B. Liskov","doi":"10.1145/2402676.2402687","DOIUrl":null,"url":null,"abstract":"Turing provided the basis for modern computer science. However there is a huge gap between a Turing machine and the kinds of applications we use today. This gap is bridged by software, and designing and implementing large programs is a difficult task. The main way we have of keeping the complexity of software under control is to make use of abstraction and modularity. This talk will discuss how abstraction and modularity are used in the design of large programs, and how these concepts are supported in modern programming languages. It will also discuss what support is needed going forward,","PeriodicalId":402438,"journal":{"name":"HILT '12","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Keynote presentation: Programming the turing machine\",\"authors\":\"B. Liskov\",\"doi\":\"10.1145/2402676.2402687\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Turing provided the basis for modern computer science. However there is a huge gap between a Turing machine and the kinds of applications we use today. This gap is bridged by software, and designing and implementing large programs is a difficult task. The main way we have of keeping the complexity of software under control is to make use of abstraction and modularity. This talk will discuss how abstraction and modularity are used in the design of large programs, and how these concepts are supported in modern programming languages. It will also discuss what support is needed going forward,\",\"PeriodicalId\":402438,\"journal\":{\"name\":\"HILT '12\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-11-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"HILT '12\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2402676.2402687\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"HILT '12","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2402676.2402687","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

图灵为现代计算机科学奠定了基础。然而，在图灵机和我们今天使用的各种应用程序之间存在着巨大的差距。这种差距是由软件弥补的，设计和实现大型程序是一项艰巨的任务。我们控制软件复杂性的主要方法是利用抽象和模块化。本讲座将讨论如何在大型程序的设计中使用抽象和模块化，以及现代编程语言如何支持这些概念。会议还将讨论今后需要什么样的支持，

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

查看原文本刊更多论文

Keynote presentation: Programming the turing machine

Turing provided the basis for modern computer science. However there is a huge gap between a Turing machine and the kinds of applications we use today. This gap is bridged by software, and designing and implementing large programs is a difficult task. The main way we have of keeping the complexity of software under control is to make use of abstraction and modularity. This talk will discuss how abstraction and modularity are used in the design of large programs, and how these concepts are supported in modern programming languages. It will also discuss what support is needed going forward,

求助全文

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

来源期刊

HILT '12

自引率

0.00%

发文量