Dino P. Oliva. Program instantiator templates documentation, January 1995. In Collected Tool Documentation for MTV Generator (CDRL 002.7). Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Design of the SDRR Pipeline - Hook, Bell (1995) (Correct)
....tools Program Instantiation Implementation Templates RML 1 PI Ada CRML 14 The program instantiator translates first order RML programs into Ada packages. It is parameterized by a set of implementation templates that specify how to implement the primitive operations assumed by the RML program [42, 41]. Both RML and Ada are strongly typed. The program instantiator is distinguished because it preserves type information, naturally mapping the RML types into Ada. It does not use the traditional boxed encoding of values found in most functional language implementations. Another unique feature of ....
Dino P. Oliva. Program instantiator templates documentation, January 1995. In Collected Tool Documentation for MTV Generator (CDRL 002.7).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC