{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T22:29:07Z","timestamp":1675204147307},"reference-count":27,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1981,10,1]],"date-time":"1981-10-01T00:00:00Z","timestamp":370742400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":11612,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1981,10]]},"DOI":"10.1016\/0167-6423(81)90006-x","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:09:22Z","timestamp":1027656562000},"page":"73-114","source":"Crossref","is-referenced-by-count":26,"title":["Programming in a wide spectrum language: a collection of examples"],"prefix":"10.1016","volume":"1","author":[{"given":"F.L.","family":"Bauer","sequence":"first","affiliation":[]},{"given":"M.","family":"Broy","sequence":"additional","affiliation":[]},{"given":"W.","family":"Dosch","sequence":"additional","affiliation":[]},{"given":"R.","family":"Gnatz","sequence":"additional","affiliation":[]},{"given":"B.","family":"Krieg-Br\u00fcckner","sequence":"additional","affiliation":[]},{"given":"A.","family":"Laut","sequence":"additional","affiliation":[]},{"given":"M.","family":"Luckmann","sequence":"additional","affiliation":[]},{"given":"T.","family":"Matzner","sequence":"additional","affiliation":[]},{"given":"B.","family":"M\u00f6ller","sequence":"additional","affiliation":[]},{"given":"H.","family":"Partsch","sequence":"additional","affiliation":[]},{"given":"P.","family":"Pepper","sequence":"additional","affiliation":[]},{"given":"K.","family":"Samelson","sequence":"additional","affiliation":[]},{"given":"R.","family":"Steinbr\u00fcggen","sequence":"additional","affiliation":[]},{"given":"M.","family":"Wirsing","sequence":"additional","affiliation":[]},{"given":"H.","family":"W\u00f6ssner","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-6423(81)90006-X_BIB1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","article-title":"Can programming be liberated from the von Neumann style? A functional style and its algebra of programs","volume":"21","author":"Backus","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-6423(81)90006-X_BIB2","first-page":"223","author":"Bauer","year":"1976","journal-title":"Programming as an evolutionary process"},{"key":"10.1016\/0167-6423(81)90006-X_BIB3","series-title":"Algorithmische Sprache und Programmentwicklung","author":"Bauer","year":"1981"},{"key":"10.1016\/0167-6423(81)90006-X_BIB4","series-title":"Program Construction","first-page":"273","article-title":"Systematics of transformation rules","volume":"69","author":"Bauer","year":"1979"},{"key":"10.1016\/0167-6423(81)90006-X_BIB5","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/954587.954588","article-title":"Towards a wide spectrum language to support program specification and program development","volume":"13","author":"Bauer","year":"1978","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0167-6423(81)90006-X_BIB6","series-title":"TUM-18104","article-title":"Report on a wide spectrum language for program specification and development (Tentative version)","author":"Bauer","year":"1981"},{"key":"10.1016\/0167-6423(81)90006-X_BIB7","series-title":"Dissertation","article-title":"Transformation parallel ablaufender Programme","author":"Broy","year":"1980"},{"key":"10.1016\/0167-6423(81)90006-X_BIB8","series-title":"Textverarbeitung und Informatik","first-page":"75","article-title":"Zur Spezifikation von Programmen f\u00fcr die Textverarbeitung","volume":"30","author":"Broy","year":"1980"},{"key":"10.1016\/0167-6423(81)90006-X_BIB9","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/TSE.1981.230815","article-title":"Program development as a formal activity","volume":"7","author":"Broy","year":"1981","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0167-6423(81)90006-X_BIB10","series-title":"TUM-I8008","article-title":"Algebraic definitions of a functional programming language and its semantical models","author":"Broy","year":"1980"},{"key":"10.1016\/0167-6423(81)90006-X_BIB11","series-title":"TUM-I8018","article-title":"Initial versus terminal algebra semantics for partially defined abstract types","author":"Broy","year":"1980"},{"key":"10.1016\/0167-6423(81)90006-X_BIB12","series-title":"Program Construction","first-page":"553","article-title":"Semantics of nondeterministic and noncontinuous constructs","volume":"69","author":"Broy","year":"1979"},{"key":"10.1016\/0167-6423(81)90006-X_BIB13","series-title":"Proc. 4th International Symposium on Programming","first-page":"59","article-title":"On relations between programs","volume":"83","author":"Broy","year":"1980"},{"key":"10.1016\/0167-6423(81)90006-X_BIB14","series-title":"Information Processing 80","first-page":"101","article-title":"Semantical relations on programming languages","author":"Broy","year":"1980"},{"key":"10.1016\/0167-6423(81)90006-X_BIB15","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00976239","article-title":"Recursive data structures","volume":"4","author":"Hoare","year":"1975","journal-title":"Internat. J. Comput. Information Sci."},{"key":"10.1016\/0167-6423(81)90006-X_BIB16","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0898-1221(75)90011-5","article-title":"An introduction to the set theoretical language SETL","volume":"1","author":"Kennedy","year":"1975","journal-title":"Comput. Math. Appl."},{"key":"10.1016\/0167-6423(81)90006-X_BIB17","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(80)90039-3","article-title":"Safe procedural implementations of algebraic types","volume":"11","author":"Laut","year":"1980","journal-title":"Information Processing Lett."},{"key":"10.1016\/0167-6423(81)90006-X_BIB18","unstructured":"A. Laut, Von abstrakter Syntax zu verketteten B\u00e4umen\u2014Entwicklung einer Datenstruktur f\u00fcr die Programm-Manipulation, Dissertation, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Technische Universit\u00e4t M\u00fcnchen, submitted."},{"key":"10.1016\/0167-6423(81)90006-X_BIB19","series-title":"Mutual development of the abstract data type TREE and the function preorder","author":"Laut","year":"1979"},{"key":"10.1016\/0167-6423(81)90006-X_BIB20","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367177.367199","article-title":"Recursive functions of symbolic expressions and their computation by machine","volume":"3","author":"McCarthy","year":"1960","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-6423(81)90006-X_BIB21","unstructured":"B. M\u00f6ller, Unendliche Objekte und eine Transformationssemantik f\u00fcr Zeiger, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Technische Universit\u00e4t M\u00fcnchen, Dissertation, in preparation."},{"key":"10.1016\/0167-6423(81)90006-X_BIB22","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/BF01946816","article-title":"Programming by action clusters","volume":"9","author":"Naur","year":"1976","journal-title":"BIT"},{"key":"10.1016\/0167-6423(81)90006-X_BIB23","series-title":"Dissertation","article-title":"A study on transformational semantics","author":"Pepper","year":"1979"},{"key":"10.1016\/0167-6423(81)90006-X_BIB24","series-title":"GI-10. Jahrestagung","first-page":"106","article-title":"The use of nested scheme parameters in the system CIP","volume":"33","author":"Steinbr\u00fcggen","year":"1980"},{"key":"10.1016\/0167-6423(81)90006-X_BIB25","series-title":"TUM-I8016","article-title":"Pre-algorithmic specification of the system CIP","author":"Steinbr\u00fcggen","year":"1980"},{"key":"10.1016\/0167-6423(81)90006-X_BIB26","series-title":"Selected Papers from the 3rd Hungarian Computer Science Conference","article-title":"The composition of schemes for local program transformation","author":"Steinbr\u00fcggen","year":"1981"},{"key":"10.1016\/0167-6423(81)90006-X_BIB27","series-title":"TUM-I8007","article-title":"On hierarchies of abstract data types","author":"Wirsing","year":"1980"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764238190006X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764238190006X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T17:29:18Z","timestamp":1555090158000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016764238190006X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,10]]},"references-count":27,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1981,10]]}},"alternative-id":["016764238190006X"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(81)90006-x","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1981,10]]}}}