Skip to main content
SpringerLink
Log in
Book cover

Baltic Computer Science Conference

BCS 1991: Baltic Computer Science pp 18–32Cite as

Type-theoretical semantics of some declarative languages

  • Deductive Synthesis Of Programs
  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Mints, E. Tyugu. The programming System PRIZ. J. of Symbolic Computation, 1988, N5, pp. 359–375.

    Google Scholar 

  2. M. Koov et al. (Eds). MicroPRIZ — intelligent software system. Acad. of Sciences of the Estonian SSR. Tallinn, 1986.

    Google Scholar 

  3. G. Mints, E. Tyugu. Semantics of a declarative language. Information Processing Letters 23, 1986, pp. 147–151.

    Article  Google Scholar 

  4. E. Tyugu. Language and Example of Knowledge-based Programming. Proceedings of the International Spring School, Akademie-Verlag Berlin, 1986, pp. 59–72.

    Google Scholar 

  5. E. Tyugu. Knowledge Based Programming. Addison-Wesley Publ. Co, 1988.

    Google Scholar 

  6. Per Martin-Löf. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984.

    Google Scholar 

  7. B. Nordström, K. Petersson, J. M. Smith. Programming in Martin-Löf's Type Theory, Programming Methodology group. Dep. of. Comp. Sc., University of Göteborg/Chalmers, 1989.

    Google Scholar 

  8. G. Mints, E. Tyugu. Justification of the structural synthesis of programs. Science of Computer Programming. 1983, vol. 2, N 3, pp. 215–240.

    Article  Google Scholar 

  9. G. Mints, E. Tyugu. The completeness of structural synthesis rules. Soviet Math. Doklady 1982, v. 25, pp. 343–346.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Cybernetics, Akademia tee 21, 200108, Tallinn, Estonia

    Grigory Mints & Enn Tyugu

  2. University of Göteborg/Chalmers, S-41296, Göteborg, Sweden

    Jan M. Smith

Authors
  1. Grigory Mints
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan M. Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Enn Tyugu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Janis Bārzdinš Dines Bjørner

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mints, G., Smith, J.M., Tyugu, E. (1991). Type-theoretical semantics of some declarative languages. In: Bārzdinš, J., Bjørner, D. (eds) Baltic Computer Science. BCS 1991. Lecture Notes in Computer Science, vol 502. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019354

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54131-8

  • Online ISBN: 978-3-540-47427-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation