Static software analyzers should be able to work on an uniform software models and run uniformly implemented algorithms that would crosscut the borders of implementation platforms. We present an overview of an universal software modeling language capable of covering the semantic constructs that can be found both in object and functional programming style. Concrete and abstract elements of the language are being discussed together with the frame-based binding mechanism. We also give some insight into the implementation details, namely the persistence layer and the proper type hierarchies. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Grzanek, K. (2012). Software modeling language with frames and multi-abstractions: An overview. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7268 LNAI, pp. 564–572). Springer Verlag. https://doi.org/10.1007/978-3-642-29350-4_67
Mendeley helps you to discover research relevant for your work.