一种规范计算机语言的语法和翻译的正式系统

AFIPS '67 (Fall) Pub Date : 1899-12-30 DOI:10.1145/1465611.1465685

J. Donovan, H. Ledgard

{"title":"一种规范计算机语言的语法和翻译的正式系统","authors":"J. Donovan, H. Ledgard","doi":"10.1145/1465611.1465685","DOIUrl":null,"url":null,"abstract":"This paper presents two basic results: the use of established methods of recursive definition to present a single method to\n 1. specify the syntax of computer languages (including context sensitive requirements, such as the restrictions implied by declaration statements),\n 2. specify the translation of programs in one computer language into programs in another language.","PeriodicalId":265740,"journal":{"name":"AFIPS '67 (Fall)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1899-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"A formal system for the specification of the syntax and translation of computer languages\",\"authors\":\"J. Donovan, H. Ledgard\",\"doi\":\"10.1145/1465611.1465685\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents two basic results: the use of established methods of recursive definition to present a single method to\\n 1. specify the syntax of computer languages (including context sensitive requirements, such as the restrictions implied by declaration statements),\\n 2. specify the translation of programs in one computer language into programs in another language.\",\"PeriodicalId\":265740,\"journal\":{\"name\":\"AFIPS '67 (Fall)\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1899-12-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"AFIPS '67 (Fall)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/1465611.1465685\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"AFIPS '67 (Fall)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1465611.1465685","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 11

摘要

本文给出了两个基本结果:利用已建立的递归定义方法给出了一个单一的方法;指定计算机语言的语法(包括上下文敏感的要求，例如声明语句所隐含的限制);指定将一种计算机语言的程序翻译成另一种语言的程序。

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

查看原文

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

本刊更多论文

A formal system for the specification of the syntax and translation of computer languages

This paper presents two basic results: the use of established methods of recursive definition to present a single method to 1. specify the syntax of computer languages (including context sensitive requirements, such as the restrictions implied by declaration statements), 2. specify the translation of programs in one computer language into programs in another language.

求助全文

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

来源期刊

AFIPS '67 (Fall)

自引率

0.00%

发文量

期刊最新文献

Information services and communications: (computer utilities) High-speed thermal printing A practical method for comparing numerical integration techniques Generalized translation of programming languages How do we stand on the big board?