Osprey: A practical type system for validating dimensional unit correctness of C programs

• المؤلفون الرئيسيون: JIANG, Lingxiao, SU, Zhendong
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2006
• الموضوعات: Gaussian elimination; measurement units; dimensional analysis; constraint-based analysis; type systems; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/1331; https://ink.library.smu.edu.sg/context/sis_research/article/2330/viewcontent/OspreyPracticalSystemValidatingUnitCorrect_2006.pdf

Misuse of measurement units is a common source of errors in scientific applications, but standard type systems do not prevent such errors. Dimensional analysis in physics can be used to manually detect such errors in physical equations. It is, however, not feasible to perform such manual analysis fo...