Software modeling language with frames and multi-abstractions: an overview

Authors:
Konrad Grzanek
Affiliations:
IT Institute, Academy of Management (SWSPiZ), Lodz, Poland
Venue:
ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part II
Year:
2012

Citing 11
Cited 0

Structure and interpretation of computer programs

Structure and interpretation of computer programs
Inheritance is not subtyping

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Covariance and contravariance: conflict without a cause

ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus for overloaded functions with subtyping

Information and Computation
An interpretation of objects and object types

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Advanced compiler design and implementation

Advanced compiler design and implementation
Comparing object encodings

Information and Computation
Types and programming languages

Types and programming languages
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report

TIC '98 Proceedings of the Second International Workshop on Types in Compilation
A simple typed intermediate language for object-oriented languages

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Prototypes with multiple dispatch: an expressive and dynamic object model

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.