{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T17:38:07Z","timestamp":1707932287964},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"12","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGPLAN Not."],"published-print":{"date-parts":[[1978,12]]},"DOI":"10.1145\/954587.954588","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T18:08:27Z","timestamp":1131991707000},"page":"15-24","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Towards a wide spectrum language to support program specification and program development"],"prefix":"10.1145","volume":"13","author":[{"given":"F. L.","family":"Bauer","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Informatik, der Technischen Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"}]},{"given":"M.","family":"Broy","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, der Technischen Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"}]},{"given":"R.","family":"Gnatz","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, der Technischen Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"}]},{"given":"W.","family":"Hesse","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, der Technischen Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"}]},{"given":"B.","family":"Krieg-Br\u00fcckner","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, der Technischen Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"}]},{"given":"H.","family":"Partsch","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, der Technischen Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"}]},{"given":"P.","family":"Pepper","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, der Technischen Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"}]},{"given":"H.","family":"W\u00f6ssner","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, der Technischen Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"}]}],"member":"320","published-online":{"date-parts":[[1978,12]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"October 1973 Also in: Proc. Intern. Summer School on Language Hierarchies and Interfaces, Maktoberdorf 1975 Lecture Notes in Computer Science 46.","author":"F. L.","year":"1976","unstructured":"{Bauer 73} F. L. Bauer: A Philosophy of Programming. A Course of three Lectures given at the University of London , October 1973 Also in: Proc. Intern. Summer School on Language Hierarchies and Interfaces, Maktoberdorf 1975 Lecture Notes in Computer Science 46. Berlin, Heidelberg, New York : Springer 1976 {Bauer 73} F. L. Bauer: A Philosophy of Programming. A Course of three Lectures given at the University of London, October 1973 Also in: Proc. Intern. Summer School on Language Hierarchies and Interfaces, Maktoberdorf 1975 Lecture Notes in Computer Science 46. Berlin, Heidelberg, New York: Springer 1976"},{"key":"e_1_2_1_2_1","volume-title":"1976 Also: Proc. 2nd Int. Conf. on Software Engineering","author":"Bauer F. L.","year":"1976","unstructured":"{Bauer 76} F. L. Bauer : Programming as an Evolutionary Process. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Rep. No. 7617 , 1976 Also: Proc. 2nd Int. Conf. on Software Engineering , Oct. 1976 , San Francisco, Ca., 223--234 {Bauer 76} F. L. Bauer: Programming as an Evolutionary Process. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Rep. No. 7617, 1976 Also: Proc. 2nd Int. Conf. on Software Engineering, Oct. 1976, San Francisco, Ca., 223--234"},{"key":"e_1_2_1_3_1","volume-title":"Institut f\u00fcr Informatik, Interner Bericht","author":"Bauer F. L.","year":"1976","unstructured":"{Bauer F. L. Bauer , H. Partsch , P. Pepper , H. W\u00f6ssner : Techniques for Program Development. Technische Universit\u00e4t M\u00fcnchen , Institut f\u00fcr Informatik, Interner Bericht , Sept. 1976 Also in: Software Engineering Techniques. Infotech State of the Art Report 34 , 1977 {Bauer et al. 76} F. L. Bauer, H. Partsch, P. Pepper, H. W\u00f6ssner: Techniques for Program Development. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Interner Bericht, Sept. 1976 Also in: Software Engineering Techniques. Infotech State of the Art Report 34, 1977"},{"key":"e_1_2_1_4_1","volume-title":"M. Broy, R. Gnatz, W. Hesse, B. Krieg-Br\u00fcckner: Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Technische Universit\u00e4t M\u00fcnchen","year":"1977","unstructured":"{Bauer 77a} F. L. Bauer , M. Broy, R. Gnatz, W. Hesse, B. Krieg-Br\u00fcckner: Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Technische Universit\u00e4t M\u00fcnchen , Institut f\u00fcr Informatik, TUM-INFO- 7722, 1977 {Bauer et al. 77a} F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Br\u00fcckner: Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7722, 1977"},{"key":"e_1_2_1_5_1","volume-title":"H. Partsch, P. Pepper, H. W\u00f6ssner: Notes on the Project CIP: Outline of a Transformation System. Technische Universit\u00e4t M\u00fcnchen","year":"1977","unstructured":"{Bauer 77b} F. L. Bauer , H. Partsch, P. Pepper, H. W\u00f6ssner: Notes on the Project CIP: Outline of a Transformation System. Technische Universit\u00e4t M\u00fcnchen , Institut f\u00fcr Informatik, TUM-INFO- 7729, 1977 {Bauer et al. 77b} F. L. Bauer, H. Partsch, P. Pepper, H. W\u00f6ssner: Notes on the Project CIP: Outline of a Transformation System. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7729, 1977"},{"key":"e_1_2_1_6_1","volume-title":"Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universit\u00e4t M\u00fcnchen","author":"M.","unstructured":"{Broy 77} M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universit\u00e4t M\u00fcnchen , Institut f\u00fcr Informatik, Rep . No. 7701, 1977 {Broy 77} M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Rep. No. 7701, 1977"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_2_1_9_1","volume-title":"W. Hesse, B. Krieg, H. Scheidig: Language Layers, Portability and Program Structuring","year":"1974","unstructured":"{Geiselbrechtinger 74} F. Geiselbrechtinger , W. Hesse, B. Krieg, H. Scheidig: Language Layers, Portability and Program Structuring . In: W. L. van der Poel, L. Maarsen (eds.): Machine Oriented Higher Level Languages . Amsterdam : North-Holland 1974 {Geiselbrechtinger et al. 74} F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig: Language Layers, Portability and Program Structuring. In: W. L. van der Poel, L. Maarsen (eds.): Machine Oriented Higher Level Languages. Amsterdam: North-Holland 1974"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512976.512983"},{"key":"e_1_2_1_11_1","volume-title":"Gnatz: Zur Konstruktion von Programmen durch Transformation. Technische Universit\u00e4t M\u00e4nchen","author":"R.","year":"1977","unstructured":"{Gnatz 77} R. Gnatz: Zur Konstruktion von Programmen durch Transformation. Technische Universit\u00e4t M\u00e4nchen , Institut f\u00fcr Informatik, TUM-INFO- 7741, 1977 {Gnatz 77} R. Gnatz: Zur Konstruktion von Programmen durch Transformation. Technische Universit\u00e4t M\u00e4nchen, Institut f\u00fcr Informatik, TUM-INFO-7741, 1977"},{"key":"e_1_2_1_12_1","volume-title":"Pepper: fusc: An Example in Program Development. Technische Universit\u00e4t M\u00fcnchen","author":"Gnatz R.","year":"1977","unstructured":"{Gnatz, Pepper 77} R. Gnatz , P. Pepper: fusc: An Example in Program Development. Technische Universit\u00e4t M\u00fcnchen , Institut f\u00fcr Informatik, TUM-INFO- 7711, 1977 {Gnatz, Pepper 77} R. Gnatz, P. Pepper: fusc: An Example in Program Development. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7711, 1977"},{"key":"e_1_2_1_13_1","volume-title":"Hoare: Recursive Data Structures","author":"C. A. R.","year":"1973","unstructured":"{Hoare 73} C. A. R. Hoare: Recursive Data Structures . Stanford University A. I. Lab ., STAN-CS-73-400, Oct. 1973 Also : Internat . J. Comput. Information Sci. 4:2, 105--132 (1975) {Hoare 73} C. A. R. Hoare: Recursive Data Structures. Stanford University A. I. Lab., STAN-CS-73-400, Oct. 1973 Also: Internat. J. Comput. Information Sci. 4:2, 105--132 (1975)"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/356635.356640"},{"key":"e_1_2_1_15_1","volume-title":"Technische Universit\u00e4t M\u00fcnchen","author":"B.","year":"1978","unstructured":"{Krieg-Br\u00fcckner 78} B. Krieg-Br\u00fcckner: Concrete and Abstract Specification, Modularization and Program Development by Transformation. Dissertation , Technische Universit\u00e4t M\u00fcnchen , Institut f\u00fcr Informatik, TUM-INFO- 7805, 1978 {Krieg-Br\u00fcckner 78} B. Krieg-Br\u00fcckner: Concrete and Abstract Specification, Modularization and Program Development by Transformation. Dissertation, Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7805, 1978"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/954666.971189"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312816"},{"key":"e_1_2_1_18_1","volume-title":"Proc. IFIP Congress 62","author":"McCarthy J.","year":"1962","unstructured":"{McCarthy 62} J. McCarthy : Towards a Mathematical Science of Computation . Proc. IFIP Congress 62 , M\u00fcnchen. Amsterdam : North-Holland 1962 {McCarthy 62} J. McCarthy: Towards a Mathematical Science of Computation. Proc. IFIP Congress 62, M\u00fcnchen. Amsterdam: North-Holland 1962"},{"key":"e_1_2_1_19_1","volume-title":"Computer Programming and Formal Systems.","author":"J.","year":"1963","unstructured":"{McCarthy 63} J. McCarthy: A Basis for a Mathematical Theory of Computation . In: P. Braffort, D. Hirschberg (eds.): Computer Programming and Formal Systems. Amsterdam : North-Holland 1963 {McCarthy 63} J. McCarthy: A Basis for a Mathematical Theory of Computation. In: P. Braffort, D. Hirschberg (eds.): Computer Programming and Formal Systems. Amsterdam: North-Holland 1963"},{"key":"e_1_2_1_20_1","volume-title":"Pepper: Program Transformation on Different Levels of Programming. Technische Universit\u00e4t M\u00fcnchen","author":"Partsch H.","year":"1977","unstructured":"{Partsch, Pepper 77} H. Partsch , P. Pepper: Program Transformation on Different Levels of Programming. Technische Universit\u00e4t M\u00fcnchen , Institut f\u00fcr Informatik, TUM-INFO- 7715, 1977 {Partsch, Pepper 77} H. Partsch, P. Pepper: Program Transformation on Different Levels of Programming. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7715, 1977"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1137\/0205037"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/800191.805652"},{"key":"e_1_2_1_24_1","volume-title":"Steinbr\u00fcggen: Equivalent Recursive Definitions of Certain Number Theoretical Functions. Technische Universit\u00e4t M\u00fcnchen","author":"R.","year":"1977","unstructured":"{Steinbr\u00fcggen 77} R. Steinbr\u00fcggen: Equivalent Recursive Definitions of Certain Number Theoretical Functions. Technische Universit\u00e4t M\u00fcnchen , Institut f\u00fcr Informatik, TUM-INFO- 7714, 1977 {Steinbr\u00fcggen 77} R. Steinbr\u00fcggen: Equivalent Recursive Definitions of Certain Number Theoretical Functions. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7714, 1977"}],"container-title":["ACM SIGPLAN Notices"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/954587.954588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T09:24:53Z","timestamp":1672737893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/954587.954588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,12]]},"references-count":23,"journal-issue":{"issue":"12","published-print":{"date-parts":[[1978,12]]}},"alternative-id":["10.1145\/954587.954588"],"URL":"https:\/\/doi.org\/10.1145\/954587.954588","relation":{},"ISSN":["0362-1340","1558-1160"],"issn-type":[{"value":"0362-1340","type":"print"},{"value":"1558-1160","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,12]]},"assertion":[{"value":"1978-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}