{"title":"语义规范的形式","authors":"Carl A. Gunter","doi":"10.1142/9789812794499_0025","DOIUrl":null,"url":null,"abstract":"The way to specify a programming language has been a topic of heated debate for some decades and at present there is no consensus on how this is best done. Real languages are almost always specified informally; nevertheless, precision is often enough lacking that more formal approaches could benefit both programmers and language implementors. My purpose is to look at a few of these formal approaches in hope of establishing some distinctions or at least stirring some discussion. Comments University of Pennsylvania Department of Computer and Information Sciences Technical Report No. MSCIS-91-61. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/337 Forms of Semantic Specification MS-CIS-91-61 Logic & Computation 37","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"552 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Forms of Semantic Specification\",\"authors\":\"Carl A. Gunter\",\"doi\":\"10.1142/9789812794499_0025\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The way to specify a programming language has been a topic of heated debate for some decades and at present there is no consensus on how this is best done. Real languages are almost always specified informally; nevertheless, precision is often enough lacking that more formal approaches could benefit both programmers and language implementors. My purpose is to look at a few of these formal approaches in hope of establishing some distinctions or at least stirring some discussion. Comments University of Pennsylvania Department of Computer and Information Sciences Technical Report No. MSCIS-91-61. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/337 Forms of Semantic Specification MS-CIS-91-61 Logic & Computation 37\",\"PeriodicalId\":388781,\"journal\":{\"name\":\"Bull. EATCS\",\"volume\":\"552 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bull. EATCS\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1142/9789812794499_0025\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bull. EATCS","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/9789812794499_0025","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The way to specify a programming language has been a topic of heated debate for some decades and at present there is no consensus on how this is best done. Real languages are almost always specified informally; nevertheless, precision is often enough lacking that more formal approaches could benefit both programmers and language implementors. My purpose is to look at a few of these formal approaches in hope of establishing some distinctions or at least stirring some discussion. Comments University of Pennsylvania Department of Computer and Information Sciences Technical Report No. MSCIS-91-61. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/337 Forms of Semantic Specification MS-CIS-91-61 Logic & Computation 37
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
