Author:
Danicic Sebastian,Harman Mark,Hierons Rob,Howroyd John,Laurence Michael R.
Subject
General Computer Science,Theoretical Computer Science
Reference37 articles.
1. Theory of Program Structures: Schemes, Semantics, Verification;Greibach,1975
2. Mathematical Theory of Computation;Manna,1974
3. A.K. Chandra, On the decision problems of program schemas with commutative and invertable functions, in: Conference Record of the ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN, Boston, Massachusetts, 1973, pp. 235–242
4. A.K. Chandra, Z. Manna, Program schemas with equality, in: Conference Record, Fourth Annual ACM Symposium on Theory of Computing, Denver, Colorado, 1972, pp. 52–64
5. On the power of programming features;Chandra;Computer Languages,1975
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献