Metal: A formalism to specify formalisms (1983)
by
G. Kahn
,
B. Lang
,
B. Melese
,
E. Morcos
,
Communicated G. Berry
| Venue: | Science of Computer Programming |
| Citations: | 19 - 0 self |
BibTeX
@INPROCEEDINGS{Kahn83metal:a,
author = {G. Kahn and B. Lang and B. Melese and E. Morcos and Communicated G. Berry},
title = {Metal: A formalism to specify formalisms},
booktitle = {Science of Computer Programming},
year = {1983},
pages = {151--188}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Mentor is a general system for the manipulation of structured information. Its main application is the construction of interactive programming environments. In such an environment, a programmer may design, implement, document, debug, test, analyze, validate, maintain and transport his programs. An environment
