loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP
Sedona, Arizona
February 02-February 04
ISBN: 0-7695-2347-1
ASCII Text
x 
 
Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach, "A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP," Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, pp. 301-311, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005.
 
 
BibTex
x
 
@article{ 10.1109/WORDS.2005.12,
author = {Victor L. Winter and Jason Beranek and Azamatbek Mametjanov and Fares Fraij and Steve Roach},
title = {A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP},
journal ={Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on},
volume = {0},
year = {2005},
issn = {1530-1443},
pages = {301-311},
doi = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.12},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
TI - A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP
SN - 1530-1443
SP301
EP311
A1 - Victor L. Winter,
A1 - Jason Beranek,
A1 - Azamatbek Mametjanov,
A1 - Fares Fraij,
A1 - Steve Roach,
PY - 2005
KW - null
VL - 0
JA - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
ER -
 
Victor L. Winter, University of Nebraska at Omaha Department of Computer Science
Jason Beranek, University of Nebraska at Omaha Department of Computer Science
Azamatbek Mametjanov, University of Nebraska at Omaha Department of Computer Science
Fares Fraij, University of Texas at El Paso Department of Computer Science
Steve Roach, University of Texas at El Paso Department of Computer Science

The SSP is a hardware implementation of a subset of the JVM for use in high consequence embedded applications. In this context, a majority of the activities belonging to class loading, as it is defined in the specification of the JVM, can be performed statically. Static class loading has the net result of dramatically simplifying the design of the SSP as well as increasing its performance. The functionality of the class loader can be implemented using strategic programming techniques. The incremental nature of strategic programming is amenable to formal verification. This article gives an overview of the core class loading activities for the SSP, their implementation in the strategic programming language TL, and outlines the approach to formal veri?cation of the implementation.

Citation:
Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach, "A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP," words, pp.301-311, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005
Usage of this product signifies your acceptance of the Terms of Use.