A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Grammar-Based Definition of Metaprogramming Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Reference Manual for the ADA Programming Language
Reference Manual for the ADA Programming Language
Optimal-time incremental semantic analysis for syntax-directed editors
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generating Language-Based Environments
Generating Language-Based Environments
EMACS: The Extensible, Customizable, Self-Documenting Display Editor
EMACS: The Extensible, Customizable, Self-Documenting Display Editor
The WEB system of structured documentation
The WEB system of structured documentation
Creation of hierarchic text with a computer display
Creation of hierarchic text with a computer display
LISP 1.5 Programmer's Manual
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Worlds: an organizing structure for object-bases
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A System for Generating Language-Oriented Editors
IEEE Transactions on Software Engineering
Concrete syntax for data objects in functional languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Incremental dynamic semantics for language-based programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Models of Software Development Environments
IEEE Transactions on Software Engineering
SetLog, a tool for experimenting with new semantics
ACM SIGPLAN Notices
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Multiple views based on unparsing canonical representations—the MultiView architecture
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Abstract syntax from concrete syntax
ICSE '97 Proceedings of the 19th international conference on Software engineering
A tool for Ada program manipulations: mentor-Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Guest Editor's Introduction: Software Engineering Environment Architectures
IEEE Transactions on Software Engineering
The evolution of the GANDALF system
Journal of Systems and Software
Hi-index | 0.00 |
Mentor is a structured document manipulation system. It has been used for several years as a program development and maintenance environment. Its main characteristics are: it is both interactive and programmable, it is parameterized by the language to be manipulated, it can manipulate several languages at the same time, as well as multi-lingual documents. it is open to and from the outer system, it is extensible. The current development of Mentor reflects our belief that a major component of programming is the maintenance of large documents of a varied nature: specifications, programs, manuals, progress reports, documentation, etc... In addition, information of various kinds, and in different languages, is often mixed in a single document, and one may have to extract this information selectively upon request (e.g. text, examples and formal specification in a manual, or instructions, comments and assertions in a program).