Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems

H
HASE
2004
Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)
Abstract - Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Richard C. Linger Articles by Mark G. Pleszkoch

Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)

Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems (PDF)

Tampa, Florida

March 25-March 26

ISBN: 0-7695-2094-4

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281753

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.