loading...
Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems
Tampa, Florida March 25-March 26
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281753Eighth IEEE International Symposium o ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Richard C. Linger, Mark G. Pleszkoch, "Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 267-268, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/HASE.2004.1281753,
author = {Richard C. Linger and Mark G. Pleszkoch},
title = {Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {2004},
issn = {1530-2059},
pages = {267-268},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281753},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems
SN - 1530-2059
SP267
EP268
A1 - Richard C. Linger,
A1 - Mark G. Pleszkoch,
PY - 2004
KW - null
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -
 
Richard C. Linger, Carnegie Mellon University
Mark G. Pleszkoch, Carnegie Mellon University
The function-theoretic view of programs suggests the possibility of automated calculation of program behavior. While significant theoretical challenges exist, the value of behavior calculation for high-assurance systems could be substantial.
Citation:
Richard C. Linger, Mark G. Pleszkoch, "Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems," hase, pp.267-268, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.