{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T11:15:48Z","timestamp":1697886948561},"reference-count":9,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":8278,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1984,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We describe an approach to, and a case study of, the construction of complete programming language descriptions that are at the same time formal and readily understandable. Such a description includes integrated specifications for abstract and textual syntax, context conditions (static semantics) and dynamic semantics. The imetalanguage is a powerful program design language based on a real general\u2010purpose programming language. The specifications are presented not as a monolithic block but as an intellectually manageable sequence of sections and subsections with a carefully designed format and cross\u2010referencing scheme. The approach could reduce the need to choose between formality and understandability in a language reference manual.<\/jats:p>","DOI":"10.1002\/spe.4380140302","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T03:24:58Z","timestamp":1163820298000},"page":"199-206","source":"Crossref","is-referenced-by-count":0,"title":["Toward complete programming language descriptions that are both formal and understandable"],"prefix":"10.1002","volume":"14","author":[{"given":"Frank G.","family":"Pagan","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10250-7_26"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380110404"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/24.2.143"},{"key":"e_1_2_1_5_2","unstructured":"F. G.Pagan \u2018An experiment in the use of formal specifications in user manuals for programming languages\u2019 Technical Report 81\u201301 Computer Science Department Southern Illinois University at Carbondale 1981."},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/19.2.151"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/22.1.63"},{"key":"e_1_2_1_8_2","unstructured":"F. G.Pagan \u2018Studies in the metalinguistic use of a general\u2010purpose programming language for the specification of denotational semantics\u2019 Technical Report 79\u201301 Computer Science Department Southern Illinois University at Carbondale 1979."},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268496"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08766-4"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380140302","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380140302","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T07:44:14Z","timestamp":1697787854000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380140302"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,3]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1984,3]]}},"alternative-id":["10.1002\/spe.4380140302"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380140302","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,3]]}}}