Skip to main content
SpringerLink
Log in

Some observations on compositional semantics

  • Conference paper
  • First Online:
Logics of Programs (Logic of Programs 1981)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 131))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7 References

  1. ADJ (J.A. Goguen, J.W. Thatcher, E.G. Wagner & J.B. Wright), Initial algebra semantics and continuous algebra's, J. Assoc. Comput. Mach. 24 (1977) 68–95.

    Google Scholar 

  2. ADJ (J.W. Thatcher, E.G. Wagner & J.B. Wright), Notes on algebraic fundamentals for theoretical computer science, in [5].

    Google Scholar 

  3. Andreka, H., I. Nemeti & I. Sain, Classical many-sorted model theory to turn negative results on program schemes to positive, Manuscript, Hungarian Acad. Sci. 1978.

    Google Scholar 

  4. Andreka, H., I. Nemeti & I. Sain, Henkin-type model theory for first order dynamic logic, this volume.

    Google Scholar 

  5. de Bakker, J.W. & J. van Leeuwen (eds.), Foundations of Computer Science III, part 2: Languages, logic, semantics, Math. Centre Tracts 109 (1979), Amsterdam.

    Google Scholar 

  6. van Benthem, J.F.A.K., Universal algebra and model theory, two excursions on the border, rep. ZW 7908 dept. math. Univ. Groningen (1980).

    Google Scholar 

  7. Ehrig, H., H.J. Kreowski & P. Padawitz, Stepwise specification and implementation of abstract data types, in G. Ausiello & C. Böhm (eds.), Proc. ICALP 5, Udine Jul. 1978, Springer LCS 62 (1978) pp. 205–226.

    Google Scholar 

  8. Ehrig, H., H.J. Kreowski, J.W. Thatcher, E. Wagner & J. Wright, Parameterised data types in algebraic specification languages, in J.W. de Bakker & J. van Leeuwen (eds.), Proc. ICALP 7, Noordwijkerhout jul. 1980, Springer LCS 85 (1980),pp. 157–168.

    Google Scholar 

  9. van Emde Boas, P. & T.M.V. Janssen, The impact of Frege's Principle of compositionality for the semantics of programming and natural languages, in "Begriffsschrift" Proc. Jenaer Frege Conferenz Jena May 1979; Fr. Schiller Univ. (1979), pp. 110–129.

    Google Scholar 

  10. Frege, G. Compound thoughts (Gedankefüge), in P.T. Geach & R.H. Stoohoff (transl.), Logical Investigations. Gottlob Frege, Basil Blackwell, Oxford 1977, pp. 55–78.

    Google Scholar 

  11. Janssen, T.M.V. & P. van Emde Boas, On the proper treatment of referencing, dereferencing and assignment, in A. Salomaa & M. Steinby (eds.), Proc. ICALP 4, Turku Jul 1977, Springer LCS 52 (1977) 282–300.

    Google Scholar 

  12. Janssen, T.M.V. & P. van Emde Boas, The Expressive Power of intensional logic in the semantics of programming languages, in J. Gruska (ed.), Proc. MFCS'77, Tatranska Lomnicka, Sep. 1977, Springer LCS 53 (1977), pp. 303–311.

    Google Scholar 

  13. Janssen, T.M.V., Foundations and applications of Montague Grammar, Ph.D. Thesis Univ. of Amsterdam, forthcomming, ed. Math. Centre Amsterdam.

    Google Scholar 

  14. Lewis, D., General semantics, in D. Davidson & G. Herman (eds.), Semantics of natural language, Synthese Library 40, Reidel, Dordrecht (1972), pp. 169–248.

    Google Scholar 

  15. Markusz, Z. & M. Szots, On semantics of programming languages defined by universal algebraic tools, in Proc. Coll. Math. Logic in programming, Coll. Math. Soc. Janos Bolyai, North Holl. Publ. Co., to appear.

    Google Scholar 

  16. Mazurkiewicz, A., Parallel recursive program schemes, in J. Becvar (ed.), Proc. MFCS'75, Marianske Lazne, Sep 1975, Springer LCS 32 (1975) pp. 75–87.

    Google Scholar 

  17. Milner, R., Processes: a mathematical model of computing agents, in H.E. Rose & J.C. Shepherdson (eds.), Logic Colloquium '73 (Bristol), North. Holl. Publ. Co. Amsterdam, 1975, pp. 157–173.

    Google Scholar 

  18. Montague, R., Universal Grammar, Theoria 36 (1970) 373–398; reprinted in [25].

    Google Scholar 

  19. Montague, R., The proper treatment of quantification in ordinar English, in K.J.J. Hintikka, J.M.E. Moravcsik & P. Suppes (eds.), Approaches to Natural Language, Synthese Library 49, Reidel, Dordrecht (1973), pp. 221–242; reprinted in [25].

    Google Scholar 

  20. Neuholt, E.J. (ed.), Formal description of programming concepts, Proc. IFIP working conference on formal description of programming concepts, St. Andrews, Canada 1977, North Holl. Publ. Co., Amsterdam 1978.

    Google Scholar 

  21. Partee, B., Montague grammar and transformational grammar, Linguistic Enquiry 6 (1975) 203–300.

    Google Scholar 

  22. Pratt, V.R., Dynamic Logic, in [5].

    Google Scholar 

  23. Schwartz, J.T., Semantic definition methods and the evolution of programming languages, in R. Rustin (ed.), Formal semantics of programming languages, Courant Comp. Sci. Symp. 2, Prentice Hall, Englewood Cliffs NJ. 1972, pp. 1–24.

    Google Scholar 

  24. Stoy, J.E., Denotational semantics: the Scott-Strachey approach to programming language theory, MIT press, Cambridge Mass 1977.

    Google Scholar 

  25. Thomason, R.H., (ed.), Formal Philosophy. Selected papers of Richard Montague, Yale Univ. Press, New Haven Conn. 1974.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Philosophy, Univ. Amsterdam, Roetersstraat 15, 1018 WB, Amsterdam

    Theo M. V. Janssen

  2. Dept. Mathematics, Univ. Amsterdam, Roetersstraat 15, 1018 WB, Amsterdam

    Peter van Emde Boas

Authors
  1. Theo M. V. Janssen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter van Emde Boas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dexter Kozen

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Janssen, T.M.V., van Emde Boas, P. (1982). Some observations on compositional semantics. In: Kozen, D. (eds) Logics of Programs. Logic of Programs 1981. Lecture Notes in Computer Science, vol 131. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025780

Download citation

  • DOI: https://doi.org/10.1007/BFb0025780

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11212-9

  • Online ISBN: 978-3-540-39047-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation