skip to main content
article
Free Access

A new methodology for generating test cases for a programming language compiler

Published:01 February 1983Publication History
First page image

References

  1. {ACM 82} Computing Surveys 14:2 (Junn 1982).Google ScholarGoogle Scholar
  2. {Akk 69} Akka, D. S., A Quantitative Comparison of Efficiencies of Compilers, Master of Science Thesis, Department of Computer Science. Victoria University of Manchester (October 1967).Google ScholarGoogle Scholar
  3. {AW 75} Anderson, W. G. and D. B. Wortman, "Static and Dynamic Charac- teristics of XPL Programs", Computer 8:11 (November 1975).Google ScholarGoogle ScholarCross RefCross Ref
  4. {Bry 80} Berry. D. M. "High Level Language Computer Architecture: An Overview and Some Principles", Proceedings of International Seminar on Computer Science, Santiago Chile (August 1980).Google ScholarGoogle Scholar
  5. {Els 77} Elshoff, J. L., "The Influence of Structured Programming on PL/I Program Profiles", IEEE Transactions on Software Engineering SE-3:5 (September 1977).Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. {Erl 79} Erlinger, M. A. "Design and Measurement of Implementation Schemes for Retention Storage Management as Utilized in Block Structured Languages", Report UCLA-ENG-7972, Computer Science Dept., UCLA (1979).Google ScholarGoogle Scholar
  7. {IEEE 80} Transactions on Software Engineering SE-6:3 (May 1980).Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. {Knu 71} Knuth, D. E., "An Empirical Study of FORTRAN Programs", Software Practice and Experience 1:2 (April-June 1971).Google ScholarGoogle ScholarCross RefCross Ref
  9. {Mye79} Myers, G. J., The Art of Software Testing, Wiley, New York (1979). Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. {Mis 80} Misherghi, S. H., "An Investigation of the Architectural Requirements of SIMULA 67", Ph.D. Dissertation, Computer Science Dept., UCLA (1980). Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. {SC 80} Scowen, R. S. and Z. J. Ciechanowicz, "Compiler Validation -- A Survey", National Physics Laboratory, UK (September 1980).Google ScholarGoogle Scholar
  12. {Tan 78} Tanenbaum, A. S., "Implications of Structured Programming for Machine Architecture", Communications of the ACM 21:3 (March 1978). Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. {Wic 73} Wichmann, B. A., ALGOL 60 Compilation and Assessment, Academic Press, New York (1973). Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. {Wor 72} Wortman, D. B., "A Study of Language Directed Computer Design", Computer Systems Research Group, University of Toronto (December 1972).Google ScholarGoogle Scholar
  15. {Yeh 77} Yeh, R. T. (Ed.), Current Trends in Programming Methodology, Volume II, Program Validation, Prentice-Hall, Englewood Cliffs (1977).Google ScholarGoogle Scholar
  16. {Zip 49} Zipf, G. K., Human Behavior and the Principle of Least Effort, Addison Wesley, Reading, MA (1949).Google ScholarGoogle Scholar

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 SIGPLAN Notices
    ACM SIGPLAN Notices  Volume 18, Issue 2
    February 1983
    39 pages
    ISSN:0362-1340
    EISSN:1558-1160
    DOI:10.1145/948101
    Issue’s Table of Contents

    Copyright © 1983 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 February 1983

    Check for updates

    Qualifiers

    • article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader