skip to main content
article
Free Access

Abstract computing machines

Authors Info & Claims
Published:01 August 1989Publication History
First page image

References

  1. 1 Alderighi, M. Binaghi, E., Mantoani, L. and Sechi, G.R., "Education in Designing Reliable Software: Program Specification and Validation", in: Education and Application of Computer Technology, (M. de Blasi, J. Donio, E. Luque and E. Scerri, Eds.), CUM, 1988, Fratelli Laterza, Bari, pp. 97-l 14.Google ScholarGoogle Scholar
  2. 2 Kleene, S.C., "Mathamatical Logic", John Wiley & Sons, New York, 1967.Google ScholarGoogle Scholar
  3. 3 Mendelson, E., "Introduction to Mathematical Logic", D. van Nostrand, New York, 1964. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Manna, Z. and Waldinger, R., N The Logical Basis for Computer Programming", vol. 1, Addison-Wesley Publishing Company, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 Ehrig, H. and Mahar, E?., "Fundamentals of Algebraic Specification I., Equations and initial Semantics", EATCS, Monogarphs on Theoretical Computer Science, vol. 6, Springer-Verlag. 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 Minsky, M.L., 'Matter, Mind and Models", in: Proceedings of IF/P Congress, vol. 1, Spartan Books, 1965, pp. 45-49.Google ScholarGoogle Scholar
  7. 7 Robinson, A., 'An Application of Symbolic Logic to Algebra", Int. Cong. Mat., Cambridge, Hass., vol. 1, 1952, pp.686-694.Google ScholarGoogle Scholar
  8. 8 Shoenfield, J.R., "Mathematical Logic", Addison-Wesley, Reading, Mass., 1967.Google ScholarGoogle Scholar
  9. 9 Alderighi, M., Sechi, G.R., Vaccaro, R., Verdoscia, L., 'A computing Unit for FFP Function Evaluation in Support of Correctness Proofs", in this volume. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 Sechi, G.R., "Notes on Abstract Computing", Lecture on Computer Science, Universita' degli Studi di Milano, Dipartimento di Fisica, 1988.Google ScholarGoogle Scholar

Index Terms

  1. Abstract computing machines

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM SIGMICRO Newsletter
              ACM SIGMICRO Newsletter  Volume 20, Issue 3
              Sep. 1989
              253 pages
              ISSN:1050-916X
              DOI:10.1145/75395
              Issue’s Table of Contents
              • cover image ACM Conferences
                MICRO 22: Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
                August 1989
                253 pages
                ISBN:0897913248
                DOI:10.1145/75362

              Copyright © 1989 Author

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 August 1989

              Check for updates

              Qualifiers

              • article

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!