A Methodology for Designing Proof Rules for Fair Parallel Programs.
Charanjit S. JutlaJosyula R. RaoPublished in: Formal Aspects Comput. (1997)
Keyphrases
- logical rules
- provably correct
- computer programs
- rule sets
- design methodology
- high level programming language
- association rules
- sorting algorithms
- transformation rules
- parallel implementation
- theorem proving
- recursive programs
- normal logic programs
- imperative programs
- multi core processors
- parallel execution
- rule extraction
- parallel programming
- distributed memory
- production rules
- parallel processing
- classification rules
- programming language
- general purpose
- case based reasoning
- knowledge discovery