Abstract
Programs are pieces of text, written in some programming language. These languages were designed for the special purpose of instructing computers. They also are used in communication among human beings for telling them how to instruct computers or for communicating algorithms which are not intended for computer execution. So programs are used for certain kinds of communication, hence they have some meaning. The branch of computer science called ‘semantics of programming languages’ deals with the relation between programs and their meanings.
We wish to thank Frank Heny for his valuable suggestions for improving the presentation of this article.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Apt, K. R. and J. W. de Bakker: 1976, ‘Exercises in Denotation Semantics’, in A. Mazurkiewics (ed.), Mathematical Foundations of Computer Science, Proceedings 5th. Symposium (Gdansk), Lecture Notes in Computer Science 45, Springer Verlag, Berlin, pp. 1–11.
Dijkstra, E. W.: 1974, ‘A Simple Axiomatic Base for Programming Language Constructs’, Indagationes Mathematicae 36, pp. 1–15.
Dijkstra, E. W.: 1976, A Discipline of Programming, Prentice Hall, Englewood Cliffs, (N.J.).
Floyd, R. W.: 1967, ‘Assigning Meanings to Programs’, in J. T. Schwartz (ed.), Mathematical Aspects of Computer Science, Proceedings Symposia in Applied Mathematics 19, American Mathematical Society, Providence (R.I.): 1976, pp. 19–32.
Gries, D.: 1977, Assignment to Subscripted Variables, Report TR 77–305, Department of Computer Science, Cornell University, Ithaca.
Hoare, C. A. R.: 1969, ‘An Axiomatic Base for Computer Programming’, Communications of the Association for Computing Machinery 12, pp. 576–580.
Janssen, T. M. V. and P. van Emde Boas: 1977a, ‘On the Proper Treatment of Referencing, Dereferencing and Assignment’, in A. Salomaa and M. Steinby (eds.), ‘Automata, Languages, and Programming (Proceedings 4th. Colloquium (Turku)’, Lecture Notes in Computer Science 52, Springer Verlag, Berlin, pp. 282–300.
Janssen, T. M. V. and P. van Emde Boas: 1977b, ‘The Expressive Power of Intensional Logic in the Semantics of Programming Languages’, in J. Gruska (ed.). Mathematical Foundations of Computer Science, Proceedings 6th. Symposium (Tatranska Lomnica), Lecture Notes in Computer Science 53, Springer Verlag, Berlin, pp. 303–311.
Lucas, P. and K. Walk: 1971, ‘On the Formal Description of PL/I’, in M. I. Halpern & C. J. Shaw (eds.), Annual Review in Automatic Programming 6, Pergamon Press, Oxford, pp. 105–182.
Montague, R.: 1973, ‘The Proper Treatment of Quantification in Ordinary English’, in K. J. J. Hintikka, J. M. E. Moravcsik and P. Suppes (eds.), Approaches to Natural Language, Synthese Library 49, D. Reidel Publishing Company, Dordrecht, pp. 221–242. Reprinted in: R. H. Thomason (ed.), Formal Philosophy. Selected Papers of Richard Montague, Yale University Press, New Haven, 1974, pp. 247–270.
Pratt, V. R.: 1976, ‘Semantical Considerations on Floyd-Hoare Logic’, in Proceedings 17th. Symposium on Foundations of Computer Science (Houston), IEEE Computer Society, Long Beach (Cal.), pp. 109–121.
Quine, W. V. O.: 1960, Word and Object, The MIT Press, Cambridge (Mass.).
Stoy, J. E.: 1977, Denotational Semantics: the Scott-Strachey Approach to Programming Language Theory, The MIT Press, Cambridge (Mass.).
Tennent, R. D.: 1976, ‘The Denotational Semantics of Programming Languages’, Comunications of the Association for Computing Machinery 19, pp. 437–453.
Wijngaarden, A. van, et al.: 1975, ‘Revised Report on the Algorithmic Language ALGOL 68’, Acta Informatica 5, pp. 1–236.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1980 D. Reidel Publishing Company
About this chapter
Cite this chapter
Janssen, T.M.V., van Emde Boas, P. (1980). On Intensionality in Programming Languages. In: Heny, F. (eds) Ambiguities in Intensional Contexts. Synthese Language Library, vol 12. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-8377-9_9
Download citation
DOI: https://doi.org/10.1007/978-94-009-8377-9_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-1168-7
Online ISBN: 978-94-009-8377-9
eBook Packages: Springer Book Archive