Techniques of Program Structure and Design
Techniques of Program Structure and Design
MAP: A tool for understanding software
ICSE '82 Proceedings of the 6th international conference on Software engineering
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
MAP: A tool for understanding software
ICSE '82 Proceedings of the 6th international conference on Software engineering
Hi-index | 0.00 |
A Module Package (AMP) is a preprocessor to a PASCAL compiler to support data encapsulation and modular system development. Experience with AMP in developing a software product at Amdahl Corporation has demonstrated its utility and robustness.