As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
'AIDA is a programming/modeling language where pictures and moving pictures are used as super-characters to define computational models and algorithms. In this language, pictures related to units-of-measure can be assigned to each variable as declarations of their dimension units and as annotations which enhance user's perception of application computation and can also be used for checking consistency of formulas involved. In this paper, a set of the super-characters for these declarations/annotations, as well as an algorithm for units-of-measure analysis and its implementation within 'AIDA language are presented. The approach is based on dimensional analysis (of variables and formulas) which employs checking not only dimensions but also units of them. Some practical details of the algorithm and its implementation are presented. Special attention is paid to parsing processes of C++ expressions, which are behind the picture-based expressions, and to automatic checking the units-of-measure consistency.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.