IDL: sharing intermediate representations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient binary I/O of IDL objects
ACM SIGPLAN Notices
Implementation strategies for DIANA attributes
ACM SIGPLAN Notices
An optimizer for Ada - design, experiences and results
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems
IEEE Transactions on Software Engineering
Interpretation in a tool-fragment environment
ICSE '88 Proceedings of the 10th international conference on Software engineering
Issues in Ada Compiler Technology
Computer
TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Mapping the Interface Description Language Type Model into C
IEEE Transactions on Software Engineering
Extending the MERCURY system to support teams of Ada programmers
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
Static analysis of Ada programs
ACM SIGAda Ada Letters
The GNAT project: a GNU-Ada 9X compiler
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Investigation of implicitly raised Ada predefined exceptions
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Library structures for reusable components
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Desiderata for the standardization of LISP
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
A graphical trace analysis tool for Ada real-time embedded systems
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
The persistent workshop - a programming environment for Napier88
Nordic Journal of Computing
Towards a demonstrably-correct ada compiler
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Structured data represented in Ruby syntax
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
Structured data representation using Ruby syntax
WSEAS Transactions on Information Science and Applications
| Hi-index | 0.00 |
This document describes DIANA, a Descriptive IntermediateAttributed Notation for Ada, being both an introduction and referencemanual for it. DIANA is an abstract data type such that each object ofthe type is a representation of an intermediate form of an Ada program.Although the initial uses of this form were for communication betweenthe Front and Back Ends of an Ada compiler, it is also intended to besuitable for use with other tools in an Ada programmingenvironment.DIANA resulted from a merger of the best properties of two earliersimilar intermediate forms: TCOL and AIDA.—Author's Abstract—Abstract recommended by M. B. Wells, Las Cruces, NM