
- Ada 83 U.S. Department of Defense, Reference Manual for the Ada Progrararni~g Language, ANSI /MIL-STD-1815 A, January 1983.Google Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Goos 81 G.Goos, W.Wulf, I~ana: Reference Manual, Universitat Karlsruhe Institut Informatik II, report 1/81, March 1981.Google Scholar
- 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 Scholar
- Mig 85 V. Migot, A new User interface in Mentor: the Menu Mode, Rapport INRIA (to appear).Google Scholar
- Moss 82 P.Mosses, Abstract semantics algebras, Proceedings of the IFIP TC2 working conference on formal description of programming concept~'~, June 1982.Google Scholar
Cross Ref
- Plo 81 G.D.Plotkin, A structural approach to operational semantics, DAiMI FN-19, Aarhus University, Denmark, sept. 1981.Google Scholar
- 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 Scholar
Digital Library
- Reps 82 T.Reps, Generating Language Based Environmer~ts, Tech. Report 82-514, Cornell University ,ithaca, NY, August 1982. Google Scholar
Digital Library
- Reps 84 T.Reps, T.Teiltelbaum, The Synthesizer Generator, ACM SIGSOFT/ SIGPLAN Soft. Eng. Symp. on Practical Software Development Environments, Pittsburgh, April 1984. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Teit 81 T.Teiltelbaum, T.Reps, The Cornell Program Synthesizer: A syntax mdirected programming environment, CACM, vol. 24, no. 9, Sept. 1981. Google Scholar
Digital Library
- Ver 83 D.Verove, Mentor-LTR: 9yste'me de mar~ipulatior~ de programmes LTR-V3, Rapport technique interne DRET-SEMA, March 1983,Google Scholar
Index Terms
A tool for Ada program manipulations: mentor-Ada
Recommendations
Ada Program Partitioning Language: A Notion for Distributing Ada Programs
Ada Program Partitioning Language (APPL) has been designed as part of Honeywell's Distributed Ada project. The goal of the project is to develop an approach for reducing the complexity of building distributed applications in Ada. In the proposed ...
A refactoring tool for Ada 95
SIGAda '04: Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologiesRefactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is based on a language-neutral static-analysis toolset named CodeSurfer, and ...
A refactoring tool for Ada 95
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is based on a language-neutral static-analysis toolset named CodeSurfer, and ...






Comments