Publication | Closed Access
Translation and Run-Time Validation of Loop Transformations
52
Citations
11
References
2005
Year
EngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerificationComputer EngineeringFormal MethodsSoftware AnalysisComputer-aided VerificationComputer ScienceLoop TransformationsModel Transformation LanguageModel VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1