Misplaced Pages

DIANA (intermediate language)

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Intermediate language
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources.
Find sources: "DIANA" intermediate language – news · newspapers · books · scholar · JSTOR (October 2011) (Learn how and when to remove this message)
This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "DIANA" intermediate language – news · newspapers · books · scholar · JSTOR (October 2011)
(Learn how and when to remove this message)

DIANA (Descriptive Intermediate Attributed Notation for Ada) is an intermediate language used to represent the semantics of an Ada program.

History

It was originally designed as an interface between the compiler front end (syntactic analysis) and middle end (semantic analysis) of the compiler on the one hand and the compiler back end (code generation and optimization) on the other. It is also used as an internal representation (IR) by other language tools.

DIANA is also used by PL/SQL, which is based on Ada.

DIANA is an abstract data type; its concrete implementations are defined using the IDL specification language.

DIANA descends from TCOL and AIDA, earlier representations of Ada programs.

The Ada-0 subset of Ada at Karlsruhe (1980) was first using AIDA, but later AIDA got replaced by DIANA. The full Karlsruhe Ada compilation system used DIANA as well and the IDL External Representation for marshalling between the middle-end and the code generating back-end.

References

Footnotes

  1. Goos, Gerhard; Winterstein, Georg (1980). "Towards a compiler front-end for Ada". Proceedings of the ACM-SIGPLAN symposium on Ada programming language. Annual International Conference on Ada. ACM-SIGPLAN. pp. 36–46. Retrieved 2016-02-10.

General

Categories: