skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Using Program Transformation Annotation and Reflection to Certify a Java Type Resolution Function.

Conference ·
OSTI ID:1078470

Abstract not provided.

Research Organization:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Organization:
USDOE National Nuclear Security Administration (NNSA)
DOE Contract Number:
AC04-94AL85000
OSTI ID:
1078470
Report Number(s):
SAND2012-3451C; 447494
Resource Relation:
Conference: Proposed for presentation at the SCAM conference (Source Code Analysis and Manipulation) held September 23-24, 2012 in Riva del Garda, Trento, TN, Italy.
Country of Publication:
United States
Language:
English