Advanced search
Publication Cover
Nuclear Science and Engineering Volume 90, 1985 - Issue 1
Submit an article Journal homepage
4
Views
0
CrossRef citations to date
0
Altmetric
Technical Paper

A Logic Generator and Validator

J. SzaboUniversity of California, Los AngelesMechanical, Aerospace and Nuclear Engineering Department Los Angeles, California 90024
,
D. OkrentUniversity of California, Los AngelesMechanical, Aerospace and Nuclear Engineering Department Los Angeles, California 90024
&
D. G. CainElectric Power Research Institute, Nuclear Power Division P.O. Box 10412, Palo Alto, California 94303
Pages 28-39 | Published online: 13 May 2017

References

  • J. G. KEMENY, “Final Report of the President’s Commission on the Accident at Three Mile Island,” Washington, D.C. (Oct. 1979).
  • “Requirements for Emergency Response Capability (Generic letter #82-33),” NUREG-0737, Suppl. 1, U.S. Nuclear Regulatory Commission (Dec. 1982).
  • S. LEVY, “Fundamental Safety Parameter Set for Boiling Water Reactors,” NSAC-21, Electric Power Research Institute (Dec. 1980).
  • J. M. GALLAGHER, Jr., “Disturbance Analysis and Surveillance System Scoping and Feasibility Study,” EPRI NP-2240, Electric Power Research Institute (1982).
  • W. PETRICK, “Workshop on Emergency Response Facilities,” NSAC-57, Electric Power Research Institute (Feb. 1983).
  • K. E. IVERSON, A Programming Language, Wiley Interscience Publishers, New York (1962).
  • M. M. HAMMER, W. G. HOWE, and I. WLADAWSKY, “An Interactive Business Definition Language,” Proc. Symp. Very High Level Language, Santa Monica, California, March 28–30, 1974, CONF-740309, SIGPLAN Notices, Vol. 9, No. 4 (1974).
  • A. W. BIERMANN, R. I. BAUM, and F. E. PETRY, IEEE Trans. Comput. C24, 2, 122 (1975).
  • N. DERSHOWITZ and Z. MANNA, “On Automatic Structured Programming,” Proc. Int. Symp. Proving Improving Programs (1975).
  • T. WINOGRAD, Understanding Natural Language, Academic Press, New York (1972).
  • E. HOROWITZ, A. KEMPER, and B. NARISIMBAN, “Application Generators: Ideas for Programming Language Extensions,” Proc. 1984 Ann. Conf., Association for Computing Machinery, San Francisco, California, October 8–10, 1984.
  • G. R. MULLEE and M. M. ABUROMIA, “Simulator Evaluation of the Boiling Water Reactor Owner’s Group (BWROG) Graphics Display System (GDS),” ALO-1019, Sandia National Laboratories (May 1983).
  • E. STRAKER, “Verification and Validation of the Safety Parameter Display System,” NSAC-39, Electric Power Research Institute (Dec. 1981).

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.