Skip to main content
SpringerLink
Log in

Software Modeling Language with Frames and Multi-abstractions: An Overview

  • Conference paper
Artificial Intelligence and Soft Computing (ICAISC 2012)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7268))

Included in the following conference series:

  • 1693 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abelson, H., Sussman, G.J.: Structure and Interpretation of Computer Programs. The MIT Press (1984) ISBN 0-262-01077-1

    Google Scholar 

  2. Muchnick, S.: Advanced Compiler Design and Implementation, 1st edn. Morgan Kaufmann (1997)

    Google Scholar 

  3. Pierce, B.C.: Types and programming languages, pp. 1–632. MIT Press (2002)

    Google Scholar 

  4. Cook, W.R., Hill, W.L., Canning, P.S.: Inheritance is Not Subtyping. In: POPL (1990)

    Google Scholar 

  5. Pierce, B.C., Turner, D.N.: Simple Type-Theoretic Foundations for Object-Oriented Programming. J. Funct. Program., 207–247 (1994)

    Google Scholar 

  6. Bruce, K.B., Cardelli, L., Pierce, B.C.: Comparing Object Encodings. Inf. Comput., 108–133 (1999)

    Google Scholar 

  7. Abadi, M., Cardelli, L., Viswanathan, R.: An Interpretation of Objects and Object Types. In: POPL, pp. 396–409 (1996)

    Google Scholar 

  8. Wright, A., Jagannathan, S., Ungureanu, C., Hertzmann, A.: Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. In: Leroy, X., Ohori, A. (eds.) TIC 1998. LNCS, vol. 1473, pp. 9–27. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  9. Chen, J., Tarditi, D.: A simple typed intermediate language for object-oriented languages. In: POPL, pp. 38–49 (2005)

    Google Scholar 

  10. Grzanek, K.: Realization of The Design Patterns Occurrences Recognition System with Static Analysis Methods, PhD Thesis, Department of Computer Engineering, Czestochowa University of Technology, pp.1–192 (2009)

    Google Scholar 

  11. Castagna, G.: Covariance and Contravariance: Conflict without a Cause. ACM Trans. Program. Lang. Syst., 431–447 (1995)

    Google Scholar 

  12. Castagna, G., Ghelli, G., Longo, G.: A Calculus for Overloaded Functions with Subtyping. Inf. Comput., 115–135 (1995)

    Google Scholar 

  13. Salzman, L., Aldrich, J.: Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 312–336. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IT Institute, Academy of Management (SWSPiZ), Sienkiewicza 9, 90-113, Lodz, Poland

    Konrad Grzanek

Authors
  1. Konrad Grzanek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Częstochowa University of Technology, Armii Krajowej 36, 42-200, Częstochowa, Poland

    Leszek Rutkowski , Marcin Korytkowski  & Rafał Scherer ,  & 

  2. AGH University of Science and Technology, Mickiewicza 30, 30-059, Kraków, Poland

    Ryszard Tadeusiewicz

  3. Department of Electrical Engineering and Computer Sciences, Computer Science Division, University of California Berkeley, 94720-1776, Berkeley, CA, USA

    Lotfi A. Zadeh

  4. Computational Intelligence Laboratory, Electrical and Computer Engineering, University of Louisville, 405 Lutz Hall, 40292, Louisville, KY, USA

    Jacek M. Zurada

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Grzanek, K. (2012). Software Modeling Language with Frames and Multi-abstractions: An Overview. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds) Artificial Intelligence and Soft Computing. ICAISC 2012. Lecture Notes in Computer Science(), vol 7268. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29350-4_67

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29350-4_67

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29349-8

  • Online ISBN: 978-3-642-29350-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation