Program analysis and optimization through kernel-control decomposition-Reference-Cited by-同舟云学术

Program analysis and optimization through kernel-control decomposition

Published:1978 Issue:3 Volume:9 Page:195-216
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Pratt Terrence

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00288882.pdf

Reference7 articles.

1. Boyer, R.S., Elspas, B., Levitt, K.N.: SELECT ? A formal system for testing and debugging programs by symbolic execution. SIGPLAN Notices (Proc. Inter. Conf. Reliable Software) 10, 6, 234?245 (1975)

2. Dijkstra, E.: Notes on structured programming. In: Structured programming (O.J. Dahl, E.W. Dijkstra, C.A.R. Hoare, eds.), pp. 1?82. New York: Academic Press 1972

3. Elspas, B., Levitt, K., Waldinger, R., Waksman, A.: An assessment of techniques for proving program correctness. Comput. Surveys 4, 97?147 (1972)

4. Hantler, S.L., King, J.C.: An introduction to proving the correctness of programs. Comput. Surveys 8, 331?353 (1976)

5. King, J.C.: A new approach to program testing. SIGPLAN Notices (Proc. Inter. Conf. Reliable Software) 10, 6, 228?233 (1975)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Kernel-control parallel versus data parallel;ACM SIGPLAN Notices;1993-01

2. Hypertextual concurrent control of a Lisp Kernel;Journal of Visual Languages & Computing;1992-06

3. Constant propagation with conditional branches;ACM Transactions on Programming Languages and Systems;1991-04