Skip to main content
SpringerLink
Log in

A theoretical study on the time analysis of programs

  • Communications
  • Conference paper
  • First Online:
Book cover Mathematical Foundations of Computer Science 1979 (MFCS 1979)

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

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.

References

  1. Meyer, A.R. and D.M.Ritchie, The complexity of loop programs. Proc. 22nd ACM National Meeting (1967), 465–469.

    Google Scholar 

  2. Meyer, A.R. and D.M.Ritchie, Computational complexity and program structures. IBM research paper RC-1817, Watson Research Center, 1967.

    Google Scholar 

  3. Kalmár, L., Egyszerü példa eldönthetetlen aritmetikai problémára. Matematikai és Fizikai Lapok 50 (1943), 1–23.

    Google Scholar 

  4. Kasai, T. and A.Adachi, A characterization of time complexity by simple loop programs. Technical report RIMS-250, Research Institute for Math. Sci., Kyoto Univ., 1978.

    Google Scholar 

  5. Brainerd, W.S. and L.H. Landweber, Theory of Computation. Wiley, New York, 1974.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Academic and Scientific Programs, IBM Japan Roppongi, 106, Minato-ku, Tokyo, Japan

    Akeo Adachi

  2. IBM Thomas J. Watson Research Center, P.O. Box 218, 10598, Yorktown Heights, N.Y., U.S.A.

    Takumi Kasai

  3. Department of Mathematics, Tokyo Woman's Christian University, Zenpukuji, Suginami-ku, 167, Tokyo, Japan

    Etsuro Moriya

Authors
  1. Akeo Adachi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Takumi Kasai
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Etsuro Moriya
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jiří Bečvář

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Adachi, A., Kasai, T., Moriya, E. (1979). A theoretical study on the time analysis of programs. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1979. MFCS 1979. Lecture Notes in Computer Science, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09526-8_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-09526-8_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09526-2

  • Online ISBN: 978-3-540-35088-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation