A transformational overview of the core functionality of an abstract class loader for the SSP

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2005, Pages 301-311

  Winter, Victor L ^a   Beranek, Jason ^a   Mametjanov, Azamatbek ^a   Fraij, Fares ^b   Roach, Steve ^b   Wickstrom, Greg ^c  

^a UNIVERSITY OF NEBRASKA AT OMAHA   (United States)

^b UNIVERSITY OF TEXAS AT EL PASO   (United States)

^c SANDIA NATIONAL LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CORE FUNCTIONALITY; EMBEDDED APPLICATIONS; STATIC LOADING; STRATEGIC PROGRAMMING;

COMPUTER APPLICATIONS; COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SPECIFICATIONS;

ABSTRACTING;

EID: 27544491476     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2005.12     Document Type: Conference Paper

References (16)

1. R. S. Boyer and Y. Yu. Automated proofs of object code for a widely used microprocessor. J. ACM, 43(1):166-192, 1996.
2. B. Brock, M. Kaufmann, and J. S. Moore. ACL2 theorems about commercial microprocessors. In FMCAD, pages 275-293, 1996.
3. HATS. http://faculty.ist.unomaha.edu/winter/hats-uno/hatsweb/index.html.
4. M. Kaufmann and P. M. et al., editors. Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, 2000.
5. M. Kaufmann and P. M. et al., editors. Computer-Aided Reasoning: Case Studies. Kluwer Academic Publishers, 2000.
6. T. Lindholm and F. Yellin, editors. The Java Virtual Machine (Second Edition). Addison-Wesley, 1999.
7. th IEEE International Symposium on High Assurance Systems Engineering, 2000.
8. J. S. Moore, editor. Piton: A Mechanically Verified Assembly-Level Language. Automated Reasoning Series. Kluwer Academic Publishers, 1996.
9. J. S. Moore. Proving Theorems about Java and the JVM with ACL2. In Models, Algebras and Logic of Engineering Software, pages 227-290. IOS Press, Amsterdam, 2003.
10. tm floating point division program. IEEE Trans. Computers, 47(9):913-926. 1998.
11. B. Venners. Inside the Java Virtual Machine. McGraw-Hill, 1998.
12. th IEEE International Symposium on High Assurance Systems Engineering, 2004.
13. V. Winter. Strategy application, observability, and the choice combinator. Technical Report SAND2004-0871, Sandia National Laboratories, March 2004.
14. V. Winter. Strategy Construction in the Higher-Order Framework of TL. Electronic Notes in Theoretical Computer Science (ENTCS) (to appear), 2004.
15. V. Winter and M. Subramaniam. Dynamic Strategies, Transient Strategies, and the Distributed Data Problem. Science of Computer Programming (Special Issue on Program Transformation), 52:165-212, 2004.
16. V. L. Winter, S. Roach, and G. Wickstrom. Transformation-oriented Programming: A development methodology for high assurance software. In M. Zelkowitz, editor, Advances in Computers: Highly Dependable Software, volume 58, pages 47 - 116, 2003.