thesis

Marvel Implementor's Guide

Abstract

This document is an implementor's manual for the MARVEL software development environment. It discusses the technical details of the system, rather than providing a description of the system. It is intended for those people doing actual development work on MARVEL. References are provides throughout the manual for background information

    Similar works