Advertisement

Abstract data types and their extensions within a constructive logic

  • A. Bertoni
  • G. Mauri
  • P. Miclioli
  • M. Ornaghi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 173)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bergstra, J.A., Tucker, J.V., INITIAL ALGEBRA SEMANTICS FOR DATA TYPE SPECIFICATIONS: TWO CHARACTERIZATION THEOREMS, Department of Computer Science, University of Leiden, 1980.Google Scholar
  2. 2.
    Bertoni, A., Mauri, G., Miglioli, P., CHARACTERIZATION OF ABSTRACT DATA TYPES AS MODEL THEORETIC INVARIANTS, Proc. 6th ICALP, Letc. Notes in Comp. Science 71, Springer-Verlag, 1979Google Scholar
  3. 3.
    Bertoni, A., Mauri, G., Miglioli, P., Wirsing, M., ON DIFFERENT APPROACHES TO ABSTRACT DATA TYPES AND THE EXISTENCE OF RECURSIVE MODELS, Bulletin of EATCS, n. 9, 1979Google Scholar
  4. 4.
    Bertoni, A., Mauri, G., Miglioli, P., TOWARDS A THEORY OF ABSTRACT DATA TYPES: A DISCUSSION ON PROBLEMS AND TOOLS, Proc. Colloque sur la Programmation '80, Lect. Notes in Comp. Science, Springer Verlag, 1980.Google Scholar
  5. 5.
    Bertoni, A., Mauri, G., Miglioli, P., SOME USES OF MODEL THEORY TO SPECIFY ABSTRACT DATA TYPES AND TO CAPTURE THEIR RECURSIVENESS, Fundamenta Informaticae, VI.2, 1983Google Scholar
  6. 6.
    Broy, M., Dosch, W., Partsch, H., Pepper, P., Wirsing, M., EXISTENTIAL QUANTIFIERS IN ABSTRACT DATA TYPES, Proc. 6th ICALP, Lect. Notes in Comp. Science 71, Springer Verlag, 1979.Google Scholar
  7. 7.
    Chang, C.C., Keisler, H.J., MODEL THEORY, North Holland, 1973Google Scholar
  8. 8.
    Constable, R., CONSTRUCTIVE MATHEMATICS AND AUTOMATIC PROGRAM WRITERS, Proc. of the IFIP Congress 1971 (Lublijana), TA-2, North-Holland, 1971Google Scholar
  9. 9.
    Degli Antoni, G., Miglioli, P., Ornaghi, M., THE SYNTHESIS OF PROGRAMS IN AN INTUITIONISTIC FRAME, Report of Istituto di Cibernetica dell'Università di Milano, 1974Google Scholar
  10. 10.
    Degli Antoni, G., Miglioli, P., Ornaghi, M., THE SYNTHESIS OF PROGRAMS AS AN APPROACH TO THE CONSTRUCTION OF RELIABLE PROGRAMS, Proc. of the International Conference on Proving and Improving Programs, Arc et Senans, 1975Google Scholar
  11. 11.
    Goguen, J.A., Tatcher, J.W., Wagner, E.G., AN INITIAL ALGEBRA APPROACH TO THE SPECIFICATION, CORRECTNESS AND IMPLEMENTATION OF ABSTRACT DATA TYPES, IBM Res. Rep. RC6 487, Yorktown Heights, 1976.Google Scholar
  12. 12.
    Keisler, H.J., FUNDAMENTALS OF MODEL THEORY, in ‘Handbook of Mathematical Logic’ (Barwise ed.) North Holland, 1977Google Scholar
  13. 13.
    Kleene, S.C., INTRODUCTION TO METAMATHEMATICS, North Holland, 1951Google Scholar
  14. 14.
    Kreisel, G., SOME USES OF PROOF THEORY FOR FINDING COMPUTER PROGRAMS, Notes for a talk in the logical Symposium of Clermond Ferrand, 1975 (manuscript)Google Scholar
  15. 15.
    Kripke, S., SEMANTICAL ANALYSIS OF INTUITIONISTIC LOGIC I, in Formal Systems and Recursive Functions, North Holland, 1965.Google Scholar
  16. 16.
    Miglioli, P., Ornaghi, M., A PURELY LOGICAL COMPUTING MODEL: THE OPEN PROOFS AS PROGRAMS, Res. Rep. MIG-7, Istituto di Cibernetica, Milano, 1979.Google Scholar
  17. 17.
    Miglioli, P., Ornaghi, M., A LOGICALLY JUSTIFIED MODEL OF COMPUTATION, Fundamenta Informaticae IV.1, IV.2, 1981Google Scholar
  18. 18.
    Miglioli, P., Moscato, U., Ornaghi M., CONSTRUCTIVE PROOFS EXECUTABLE BY PrT NETS, Informatik-Fachberichte 52, Springer Verlag, 1982Google Scholar
  19. 19.
    Prawitz, D., NATURAL DEDUCTION: A PROOF THEORETICAL STUDY, Stockholm, Goteborg, Uppsala (Almqvist and Wiksell), 1965Google Scholar
  20. 20.
    Prawitz, D., IDEAS AND RESULTS IN PROOF THEORY, Oslo Proceedings, 1971Google Scholar
  21. 21.
    Thatcher, J.W., Wagner, E.G., Wright, J.B., DATA TYPE SPECIFICATION: PARAMETRIZATION AND THE POWER OF SPECIFICATION TECHNIQUES, Proc. SIGACT 10th Symp. on theory of computing, 1978Google Scholar
  22. 22.
    Troelstra, A.S. (ed.), MATHEMATICAL INVESTIGATION OF INTUITIONSITIC ARITHMETIC AND ANALYSIS, Lect. Notes in Mathematics 344, Springer Verlag, 1973Google Scholar
  23. 23.
    Wand, M., FINAL ALGEBRA SEMANTICS AND DATA TYPE EXTENSIONS, Indiana Univ., Comp. Science Dept., Tech. Rep. n. 65, 1977Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • A. Bertoni
    • 1
  • G. Mauri
    • 1
  • P. Miclioli
    • 1
  • M. Ornaghi
    • 1
  1. 1.Istituto di CiberneticaUniversita Di MilandMilanoItalie

Personalised recommendations