JOURNAL ARTICLE
Recursive assertions and parallel programs
Year: 1981 Journal: Acta Informatica Vol: 15 (3)Pages: 219-232 Publisher: Springer Science+Business Media
Keywords:
Mathematical proof Theory of computation Interpretation (philosophy) Computer science Primitive recursive function Mathematics Algorithm Programming language
Metrics
26
Cited By
1.44
FWCI (Field Weighted Citation Impact)
8
Refs
0.91
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Parallel Computing and Optimization Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Parallel assertions for debugging parallel programs
Daniel Schwartz‐NarbonneFeng LiuTarun PondicherryDavid I. AugustSharad Malik
Year: 2011 Pages: 181-190
JOURNAL ARTICLE
Proving assertions about parallel programs
Journal: Journal of Computer and System Sciences Year: 1975 Vol: 10 (1)Pages: 110-135
JOURNAL ARTICLE
Termination assertions for recursive programs: Completeness and axiomatic definability
Albert R. MeyerJohn C. Mitchell
Journal: Information and Control Year: 1983 Vol: 56 (1-2)Pages: 112-138
JOURNAL ARTICLE
Optimizing recursive task parallel programs
Suyash GuptaRahul ShrivastavaV. Krishna Nandivada
Year: 2017 Pages: 1-11
JOURNAL ARTICLE
A model for recursive-parallel programs
Olga KouchnarenkoPh. Schnoebelen
Journal: Electronic Notes in Theoretical Computer Science Year: 1997 Vol: 5 Pages: 30-30