|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| D.J. Lu, "Watchdog Processors and Structural Integrity Checking," IEEE Transactions on Computers, vol. 31, no. 7, pp. 681-685, July, 1982. | |||
| BibTex | x | ||
| @article{ 10.1109/TC.1982.1676066, author = {D.J. Lu}, title = {Watchdog Processors and Structural Integrity Checking}, journal ={IEEE Transactions on Computers}, volume = {31}, number = {7}, issn = {0018-9340}, year = {1982}, pages = {681-685}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1982.1676066}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - Watchdog Processors and Structural Integrity Checking IS - 7 SN - 0018-9340 SP681 EP685 EPD - 681-685 A1 - D.J. Lu, PY - 1982 KW - watchdog processor KW - Control flow KW - error detection KW - Pascal KW - structural integrity checking (SIC) KW - structured programming VL - 31 JA - IEEE Transactions on Computers ER - | |||
The use of watchdog processors in the implementation of Structural Integrity Checking (SIC) is described. A model for ideal SIC is given in terms of formal languages and automata. Techniques for use in implementing SIC are presented. The modification of a Pascal compiler into an SIC Pascal preprocessor is summarized.
Index Terms:
watchdog processor, Control flow, error detection, Pascal, structural integrity checking (SIC), structured programming
Citation:
D.J. Lu, "Watchdog Processors and Structural Integrity Checking," IEEE Transactions on Computers, vol. 31, no. 7, pp. 681-685, July 1982, doi:10.1109/TC.1982.1676066
Usage of this product signifies your acceptance of the Terms of Use.