DIANA. An Intermediate Language for Ada: Revised Version (Lecture Notes in Computer Science, 161)
Description
Abstract.- Acknowledgments.- Preface.- Definition of the Diana domain.- Rationale.- Definition of the Diana operations.- External representation of DIANA.- Implementation options.