Skip to main content
SpringerLink
Log in

Derivation of Secure Parallel Applications by Means of Module Embedding

  • Conference paper
Modular Programming Languages (JMLC 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1897))

Included in the following conference series:

  • 263 Accesses

Abstract

An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.

This work has been supported by NASA grant NAG3-2011.

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. Agha, G., Wegner, P., Yonezawa, A. (eds.): Research Directions in Concurrent Object- Oriented Programming. MIT Press, Cambridge (1993)

    Google Scholar 

  2. Briot, J.-P., Geib, J.-M., Yonezawa, A.: OBPDC 1995. LNCS, vol. 1107. Springer, Heidelberg (1996)

    Google Scholar 

  3. Hansen, P.B.: Java’s Insecure Parallelism. ACM SIGPLAN Notices 34(4), 38–45 (1999)

    Article  Google Scholar 

  4. Hansen, P.B.: Studies in Computational Science: Parallel Programming Paradigms. Prentice-Hall, Englewood Cliffs (1995)

    Google Scholar 

  5. Hansen, P.B.: SuperPascal - A Publication Language For Parallel Scientific Computing. Concurrency - Practice and Experience 6(5), 461–483 (1994)

    Article  Google Scholar 

  6. Keller, R., Holzle, U.: Binary Component Adaptation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 307–329. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  7. Moessenboeck, H.: Object-Oriented Programming in Oberon-2. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  8. Radenski, A., Norris, B., Chen, W.: A Generic All-Pairs Cluster-Computing Pipeline and Its Applications. In: Proceedings of ParCo99, International Conference on Parallel Computing, Delft, The Netherlands, August 17-20. Imperial College Press (1999) (under print)

    Google Scholar 

  9. Radenski, A., Vann, A., Norris, B.: Development and Utilization of Generic Algorithms for Scientific Cluster Computations. In: Henderson, M., Anderson, C., Lyons, S. (eds.) Object Oriented Methods for Interoperable Scientific and Engineering Computing, pp. 97–105. SIAM, Philadelphia (1999)

    Google Scholar 

  10. Radenski, A., Vann, A., Norris, B.: Parallel Probabilistic Computations on a Cluster of Workstations. In: D’Hollander, E., et al. (eds.) Parallel Computing: Fundamentals, Applications and New Directions, pp. 105–112. Elsevier Science B.V, Amsterdam (1998)

    Chapter  Google Scholar 

  11. Radenski, A.: Module Embedding. Intl. Journal Software - Concepts and Tools 19(3), 122–129 (1998)

    Article  Google Scholar 

  12. Radenski, A.: Prototype Implementation of Paradigm/SP (1998), http://www.rtpnet.org/~radenski/research/

  13. Szyperski, C.: Why We Need Both: Modules And Classes. In: OOPSLA 1999 Conference Proceedings, pp. 19–32. ACM, New York (1992)

    Google Scholar 

  14. Wilson, G., Lu, P. (eds.): Parallel Programming using C++. MIT Press, Cambridge (1996)

    Google Scholar 

  15. Wirth, N.: Type Extensions. ACM Transactions on Programming Languages and Systems 10, 204–214 (1987)

    Article  Google Scholar 

  16. Wyatt, B., Kavi, K., Hufnagel, S.: Parallelism in Object-Oriented Languages: A Survey. IEEE Software 9(6), 56–66 (1992)

    Article  Google Scholar 

  17. Lee, L.-Q., Siek, J., Lumsdaine, A.: The Generic Graph Component Library. In: OOPSLA 1999 Conference Proceedings, pp. 399–414. ACM, New York (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Winston-Salem State University, P. O. Box 19479, Winston-Salem, North Carolina, 27110, USA

    Atanas Radenski

Authors
  1. Atanas Radenski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Independent Software Architect, Zürich, Switzerland

    Wolfgang Weck

  2. ETH Zürich,  

    Jürg Gutknecht

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Radenski, A. (2000). Derivation of Secure Parallel Applications by Means of Module Embedding. In: Weck, W., Gutknecht, J. (eds) Modular Programming Languages. JMLC 2000. Lecture Notes in Computer Science, vol 1897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722581_3

Download citation

  • DOI: https://doi.org/10.1007/10722581_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67958-5

  • Online ISBN: 978-3-540-44519-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation