SIGN IN
SIGN UP
A transformational perspective into the core of an abstract class loader for the SSP
Full Text:
Pdf
Buy this Article
Authors:
Victor L. Winter
University of Nebraska at Omaha, Omaha, Nebraska
Jason Beranek
University of Nebraska at Omaha, Omaha, Nebraska
Fares Fraij
University of Texas at El Paso, El Paso, Texas
Steve Roach
University of Texas at El Paso, El Paso, Texas
Greg Wickstrom
Sandia National Laboratories, Albuquerque, New Mexico
2006 Article
Bibliometrics
· Downloads (6 Weeks): 0
· Downloads (12 Months): 10
· Downloads (cumulative): 209
· Citation Count: 1
Published in:
· Journal
ACM Transactions on Embedded Computing Systems (TECS)
TECS Homepage
archive
Volume 5 Issue 4, November 2006
Pages 773 - 818
ACM
New York, NY
, USA
table of contents
doi>
10.1145/1196636.1196639
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
grammars and other rewriting systems
hats
higher-order rewriting
software/program verification
specifying and verifying and reasoning about programs
ssp
strategic programming
tl
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder