{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:38Z","timestamp":1761611138684},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1977,1,1]],"date-time":"1977-01-01T00:00:00Z","timestamp":220924800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/bf00289243","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T03:37:55Z","timestamp":1096947475000},"page":"97-112","source":"Crossref","is-referenced-by-count":48,"title":["Language design methods based on semantic principles"],"prefix":"10.1007","volume":"8","author":[{"given":"R. D.","family":"Tennent","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Advantages of the value parameter over the constant parameter","author":"U. Ammann","year":"1972","unstructured":"Ammann, U., Wirth, N.: Advantages of the value parameter over the constant parameter. Unpublished memo, Eidgen\u00f6ssische Technische Hochschule, Z\u00fcrich, 1972"},{"key":"CR2","volume-title":"Simula Begin","author":"G.M. Birtwistle","year":"1973","unstructured":"Birtwistle, G.M., Dahl, O.J., Myrhaug, B., Nygaard, K.: SIMULA BEGIN. Philadelphia: Auerbach 1973. Also Lund: Studentlitteratur 1974"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0020-0190(75)90032-0","volume":"3","author":"P. Brinch Hansen","year":"1975","unstructured":"Brinch Hansen, P.: Universal types in Concurrent Pascal. Information Processing Letters 3, 165?166 (1975)","journal-title":"Information Processing Letters"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1002\/spe.4380060110","volume":"6","author":"C. Bron","year":"1976","unstructured":"Bron, C., de Vries, W.: A Pascal compiler for PDP-11 mini-computers. Software Practice and Experience 6, 109?116 (1976)","journal-title":"Software Practice and Experience"},{"key":"CR5","volume-title":"The calculi of lambda conversion","author":"A. Church","year":"1941","unstructured":"Church, A.: The calculi of lambda conversion. Princeton: Princeton University Press 1941"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Goto statement considered harmful. Comm. ACM 11, 147?148, 538, 541 (1968)","journal-title":"Comm. ACM"},{"key":"CR7","volume-title":"Structured programming","author":"E.W. Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: Notes on structured programming. In: Structured programming (O.J. Dahl, E.W. Dijkstra, C.A.R. Hoare, eds.). London: Academic Press 1972"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, non-determinacy, and formal derivation of programs. Comm. ACM 18, 453?457 (1975)","journal-title":"Comm. ACM"},{"key":"CR9","volume-title":"Proc. 23rd ACM National Conference","author":"A. Evans","year":"1968","unstructured":"Evans, A.: PAL ? a language for teaching programming linguistics. Proc. 23rd ACM National Conference, Princeton: Brandin Systems Press 1968"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1002\/spe.4380060103","volume":"6","author":"C.O. Grosse-Lindemann","year":"1976","unstructured":"Grosse-Lindemann, C.O., Nagel, H.H.: Postlude to a Pascal compiler bootstrap on a DEC system 10. Software Practice and Experience 6, 29?42 (1976)","journal-title":"Software Practice and Experience"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00288652","volume":"3","author":"A.N. Habermann","year":"1973","unstructured":"Habermann, A.N.: Critical comments on the programming language Pascal. Acta Informatica 3, 47?57 (1973)","journal-title":"Acta Informatica"},{"key":"CR12","series-title":"Lecture Notes in Mathematics, Vol. 188","volume-title":"Symposium on Semantics of Algorithmic Languages","author":"C.A.R. Hoare","year":"1971","unstructured":"Hoare, C.A.R.: Procedures and parameters: an axiomatic approach. In: Symposium on Semantics of Algorithmic Languages (E. Engeler, ed.), Lecture Notes in Mathematics, Vol. 188. Berlin-Heidelberg-New York: Springer 1971"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/BF01932305","volume":"12","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: A note on the for statement. BIT 12, 334?341 (1972)","journal-title":"BIT"},{"key":"CR14","volume-title":"Structured programming","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Notes on data structuring. In: Structured programming (O.J. Dahl, E.W. Dijkstra, C.A.R. Hoare, eds.). London: Academic Press 1972"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Hints on programming language design. Computer Science Department, Stanford University, CS-403, 1973","DOI":"10.1049\/ep.1973.0381"},{"key":"CR16","first-page":"105","volume":"4","author":"C.A.R. Hoare","year":"1975","unstructured":"Hoare, C.A.R.: Recursive data structures. International J. Computer and Systems Sciences 4, 105?132 (1975)","journal-title":"International J. Computer and Systems Sciences"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C.A.R. Hoare","year":"1973","unstructured":"Hoare, C.A.R., Wirth, N.: An axiomatic definition of the programming language Pascal. Acta Informatica 2, 335?355 (1973)","journal-title":"Acta Informatica"},{"key":"CR18","volume-title":"Lecture Notes in Computer Science, Vol. 18","author":"K. Jensen","year":"1974","unstructured":"Jensen, K., Wirth, N.: Pascal: User manual and report. Lecture Notes in Computer Science, Vol. 18. Berlin-Heidelberg-New York: Springer 1974"},{"key":"CR19","unstructured":"Knobe, B., Yuval, G.: Towards Pascal II. The Hebrew University of Jerusalem, 1974"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/356635.356640","volume":"6","author":"D.E. Knuth","year":"1974","unstructured":"Knuth, D.E.: Structured programming with goto statements. Computing Surveys 6, 261?301 (1974)","journal-title":"Computing Surveys"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"Landin, P.J.: The mechanical evaluation of expressions. Computer J. 6, 308?320 (1964)","journal-title":"Computer J."},{"key":"CR22","unstructured":"Landin, P.J.: Getting rid of labels. Univac Systems Programming Research Report, New York, 1965"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P.J. Landin","year":"1966","unstructured":"Landin, P.J.: The next 700 programming languages. Comm. ACM 9, 157?164 (1966)","journal-title":"Comm. ACM"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF00288728","volume":"4","author":"O. Lecarme","year":"1975","unstructured":"Lecarme, O., Desjardins, P.: More comments on the programming language Pascal. Acta Informatica 4, 231?243 (1975)","journal-title":"Acta Informatica"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Ligler, G.T.: A mathematical approach to language design. Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, 1975","DOI":"10.1145\/512976.512982"},{"key":"CR26","volume-title":"Computer programming and formal systems","author":"J. McCarthy","year":"1963","unstructured":"McCarthy, J.: A basis for a mathematical theory of computation. In: Computer programming and formal systems (P. Braffort, D. Hirschberg, eds.). Amsterdam: North-Holland 1963"},{"key":"CR27","unstructured":"Milne, R.E.: The formal semantics of computer languages and their implementations. Oxford University Computing Laboratory, Programming Research Group, technical microfiche TCF-2, 1974"},{"key":"CR28","volume-title":"A theory of programming language semantics","author":"R.E. Milne","year":"1976","unstructured":"Milne, R.E., Strachey, C.: A theory of programming language semantics. London: Chapman and Hall. Also New York: Wiley 1976"},{"key":"CR29","unstructured":"Mosses, P.: The mathematical semantics of ALGOL 60. Oxford University Computing Laboratory, Programming Research Group, technical monograph PRG-12, 1974"},{"key":"CR30","doi-asserted-by":"crossref","DOI":"10.4159\/9780674042421","volume-title":"Set theory and its logic","author":"W.O. Quine","year":"1963","unstructured":"Quine, W.O.: Set theory and its logic. Cambridge (Mass.): Harvard University Press 1963"},{"key":"CR31","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1145\/362349.362364","volume":"13","author":"J.C. Reynolds","year":"1970","unstructured":"Reynolds, J.C.: Gedanken ? a simple typeless language based on the principle of completeness and the reference concept. Comm. ACM 13, 308?319 (1970)","journal-title":"Comm. ACM"},{"key":"CR32","first-page":"12","volume":"37","author":"S.A. Schuman","year":"1974","unstructured":"Schuman, S.A.: Towards modular programming in high-level languages. ALGOL Bulletin 37, 12?23 (1974)","journal-title":"Algol Bulletin"},{"key":"CR33","volume-title":"Set theory and logic","author":"R.R. Stoll","year":"1963","unstructured":"Stoll, R.R.: Set theory and logic. San Francisco: Freeman 1963"},{"key":"CR34","volume-title":"Formal language description languages","author":"C. Strachey","year":"1966","unstructured":"Strachey, C.: Towards a formal semantics. In: Formal language description languages (T. Steel, ed.). Amsterdam: North-Holland 1966"},{"key":"CR35","volume-title":"Ph. D. thesis","author":"R.D. Tennent","year":"1973","unstructured":"Tennent, R.D.: Mathematical semantics and design of programming languages. University of Toronto, Ontario, Canada, Ph. D. thesis, 1973"},{"key":"CR36","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R.D. Tennent","year":"1976","unstructured":"Tennent, R.D.: The denotational semantics of programming languages. Comm. ACM 19, 437?453 (1976)","journal-title":"Comm. ACM"},{"key":"CR37","series-title":"Research Reports in Informatics","volume-title":"Generalized types in high-level programming languages","author":"A. Wang","year":"1975","unstructured":"Wang, A.: Generalized types in high-level programming languages. Institute of Mathematics, University of Oslo, Norway, Research Reports in Informatics, No. 1, 1975"},{"key":"CR38","volume-title":"Algol 60: Compilation and assessment","author":"B.A. Wichmann","year":"1973","unstructured":"Wichmann, B.A.: ALGOL 60: Compilation and assessment. London: Academic Press 1973"},{"key":"CR39","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF02163002","volume":"14","author":"A. Wijngaarden van","year":"1969","unstructured":"van Wijngaarden, A., et al.: Report on the algorithmic language ALGOL 68. Numer. Math. 14, 79?218 (1969)","journal-title":"Numer. Math."},{"key":"CR40","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"Wirth, N.: The programming language Pascal. Acta Informatica 1, 35?63 (1971)","journal-title":"Acta Informatica"},{"key":"CR41","volume-title":"Systematic programming ? an introduction","author":"N. Wirth","year":"1973","unstructured":"Wirth, N.: Systematic programming ? an introduction. Englewood Cliffs(N. J.): Prentice-Hall 1973"},{"key":"CR42","volume-title":"Proc. IFIP Congress 74","author":"N. Wirth","year":"1974","unstructured":"Wirth, N.: On the design of programming languages. In: Proc. IFIP Congress 74 (J.L. Rosenfeld, ed.), Stockholm. Amsterdam: North-Holland 1974"},{"key":"CR43","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSE.1975.6312839","volume":"1","author":"N. Wirth","year":"1975","unstructured":"Wirth, N.: An assessment of the programming language Pascal. IEEE Trans. Software Engineering 1, pp. 192?198 (1975)","journal-title":"IEEE Trans. Software Engineering"},{"key":"CR44","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/365696.365702","volume":"9","author":"N. Wirth","year":"1966","unstructured":"Wirth, N., Hoare, C.A.R.: A contribution to the development of ALGOL. Comm. ACM 9, 413?431 (1966)","journal-title":"Comm. ACM"},{"key":"CR45","series-title":"Lecture Notes in Computer Science, Vol. 19","volume-title":"Programming Symposium Proceedings, Colloque sur la Programmation, Paris (1974)","author":"C.J. Zahn","year":"1974","unstructured":"Zahn, C.J.: A control statement for natural top-down structured programming. In: Programming Symposium Proceedings, Colloque sur la Programmation, Paris (1974). Lecture Notes in Computer Science, Vol. 19. Berlin-Heidelberg-New York: Springer 1974"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289243.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289243\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T12:41:39Z","timestamp":1682772099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289243"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1977]]}},"alternative-id":["BF00289243"],"URL":"https:\/\/doi.org\/10.1007\/bf00289243","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977]]}}}