skip to main content
article
Free Access

A tool for Ada program manipulations: mentor-Ada

Authors Info & Claims
Published:01 May 1985Publication History
First page image

References

  1. Ada 83 U.S. Department of Defense, Reference Manual for the Ada Progrararni~g Language, ANSI /MIL-STD-1815 A, January 1983.Google ScholarGoogle Scholar
  2. Des 83 T.Despeyroux, Introduction de spe'c~fications se~nantiques darts Mentor, The'se de 3ie'me cycle Universite' de Paris 11, Oct. 1983.Google ScholarGoogle Scholar
  3. Don 75 V. Donzeau-Gouge, G.Kahn, G.Huet, B.Lang, J.J.Levy, A structure oriented program editor:a first step toward computer assisted programrr~ing, Proc, International Computing Symposium, North_Holland, 1975.Google ScholarGoogle Scholar
  4. Don 82 V. Donzeau-Gouge, J.C.Heliard, G.Kahn, B.Krieg-Bruckner, B.Lang, Formal definition of the Ad~ programming language, reprinted by CEC, Sept. 1982.Google ScholarGoogle Scholar
  5. Don 83 V.Donzeau-Gouge, G.Kahn, B.Lang, B.Me'le'se, E.Morcos, Outline of a tool for document manipulation, IFIP congress, Paris, Sept. 1983.Google ScholarGoogle Scholar
  6. Don 84a V.Donzeau-Gouge, B.Lang, B.Ye'le'se, Practical Applications of a 5~jntax I~rected Program Manipulation En~ronment, 7th Conference on Software Engineering, Orlando, March 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Don 84b V.Donzeau-Gouge, G. Kahn, B.Lang, B.Me'le'se, Document Structure and Modularity in Mentor, ACM SIGSOFT/SIGPLAN Soft. Eng. $ymp. on Practical Software Development Environments, Pittsburgh, April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Goos 81 G.Goos, W.Wulf, I~ana: Reference Manual, Universitat Karlsruhe Institut Informatik II, report 1/81, March 1981.Google ScholarGoogle Scholar
  9. Kahn 83 G.Kahn, B.Lang, B.Me'le'se, E.Morcos, Metal: a formalism to specify forrnali~ms, Science of Computer Programming, North Holland, 1983.Google ScholarGoogle Scholar
  10. Mig 85 V. Migot, A new User interface in Mentor: the Menu Mode, Rapport INRIA (to appear).Google ScholarGoogle Scholar
  11. Moss 82 P.Mosses, Abstract semantics algebras, Proceedings of the IFIP TC2 working conference on formal description of programming concept~'~, June 1982.Google ScholarGoogle ScholarCross RefCross Ref
  12. Plo 81 G.D.Plotkin, A structural approach to operational semantics, DAiMI FN-19, Aarhus University, Denmark, sept. 1981.Google ScholarGoogle Scholar
  13. Reis 84 $.P.Reiss, Graphical Program Development with PECAN Program Development Systems, ACM $1GSOFT/$IGPLAN Soft. Eng. $ymp. on Practical Software Development Environments, Pittsburgh, April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Reps 82 T.Reps, Generating Language Based Environmer~ts, Tech. Report 82-514, Cornell University ,ithaca, NY, August 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Reps 84 T.Reps, T.Teiltelbaum, The Synthesizer Generator, ACM SIGSOFT/ SIGPLAN Soft. Eng. Symp. on Practical Software Development Environments, Pittsburgh, April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Stan 84 T.A.Standish, R.N.Taylor, Arcturus: A Prototype Advanced Ada Programming Environment, ACM $IGSOFT/$IGPLAN Soft. Eng. Symp. on Practical Software Development Environments, Pittsburgh, April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Teit 81 T.Teiltelbaum, T.Reps, The Cornell Program Synthesizer: A syntax mdirected programming environment, CACM, vol. 24, no. 9, Sept. 1981. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Ver 83 D.Verove, Mentor-LTR: 9yste'me de mar~ipulatior~ de programmes LTR-V3, Rapport technique interne DRET-SEMA, March 1983,Google ScholarGoogle Scholar

Index Terms

  1. A tool for Ada program manipulations: mentor-Ada

          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 SIGAda Ada Letters
            ACM SIGAda Ada Letters  Volume V, Issue 2
            Special edition of Ada Letters
            Sep., Oct. 1985
            366 pages
            ISSN:1094-3641
            DOI:10.1145/324422
            Issue’s Table of Contents

            Copyright © 1985 Authors

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 May 1985

            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!