L. Reveillere, F. Merillon, C. Consel, R. Marlet, and G. Muller. The Devil language. Research Report 1319, IRISA, Rennes, France, May 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A DSL Approach to Improve Productivity and Safety.. - Reveillere.. (2000) (2 citations) Self-citation (Reveillere Merillon Consel Marlet Muller) (Correct)
....here. These features include access post actions, enumerated types and arrays, structures to synchronize device variables, order of register accesses, register constructors, variable behaviors and conditional declarations depending on device modes. A detailed description of Devil can be found in [22]. 4.6. Verification In contrast with GPLs, a DSL makes domain specific information explicit. In Devil, declarations enable three categories of verification that are beyond the scope of GPLs. First, because Devil is strongly typed, all uses of the entities (e.g. ports, registers, variables) can ....
....For example, the same register bits cannot be included in two different variables. The use of Devil s functional interface in a GPL also provides opportunities for verifications. These verifications include type checking and conditional variable checking; they can be both static and dynamic [22]. 5. Assessment In the previous sections, we have shown that DSLs enable more properties about programs to be automatically checked. In this section, we examine the number of errors detected (i.e. covered) by both a GPL and a DSL. The GPL used in our study is the C language, since it is ....
L. Reveillere, F. Merillon, C. Consel, R. Marlet, and G. Muller. The Devil language. Research Report 1319, IRISA, Rennes, France, May 2000.
Improving Driver Robustness: An Evaluation Of The Devil.. - Réveillère, Muller (2001) (1 citation) Self-citation (Muller) (Correct)
....x low. variable dx = x high[3. 0] # x low[3. 0] Many features of Devil are not detailed here. These features include enumerated types, facilities for specifying contorted addressing modes, and complex register and variable declarations. A complete description of the language can be found in [14]. Type representation struct Drive t const char filename; int type; u32 val; 2 typedef struct Drive t Drive t; 3 static const Drive t MASTER = FILE ,4,0x0u ; 4 static const Drive t SLAVE = FILE ,4,0x1u ; 5 write stub for the ide select register static inline void ....
L. Reveillere, F. Merillon, C. Consel, R. Marlet, and G. Muller. The Devil language. Research Report 1319, IRISA, Rennes, France, May 2000. PI n 1385
A DSL Approach to Improve Productivity and Safety in Device .. - Réveillère, Muller (2000) (2 citations) Self-citation (Reveillere Merillon Consel Marlet Muller) (Correct)
....here. These features include access post actions, enumerated types and arrays, structures to synchronize device variables, order of register accesses, register constructors, variable behaviors and conditional declarations depending on device modes. A detailed description of Devil can be found in [22]. 4.6 Verification In constrast with GPLs, a DSL makes domain specific information explicit. In Devil, declarations enable three categories of verifications that are beyond the scope of GPLs. First, because Devil is strongly typed, all uses of the entities (e.g. ports, registers, variables) can ....
....For example, the same register bits cannot be included in two di#erent variables. The use of Devil s functional interface in a GPL also provides opportunities for verifications. These verifications include type checking and conditional variable checking; they can be both static and dynamic [22]. 5 Assessment In the previous sections, we have shown that DSLs enable more properties about programs to be automatically checked. In this section, we examine the number of errors detected (i.e. covered) by both a GPL and a DSL. The GPL used in our study is the C language, since it is ....
L. Reveillere, F. Merillon, C. Consel, R. Marlet, and G. Muller. The devil language. Research Report 1319, IRISA, Rennes, France, May 2000. To appear.
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