Proving assertions about parallel programs

E. A. Ashcroft

doi:10.1016/s0022-0000(75)80018-3

ScienceGate Book Chapters

JOURNAL ARTICLE

Proving assertions about parallel programs

E. A. Ashcroft

Year: 1975 Journal: Journal of Computer and System Sciences Vol: 10 (1)Pages: 110-135 Publisher: Elsevier BV

DOI: 10.1016/s0022-0000(75)80018-3

Get Full-Text PDF Get Analytical Report

Keywords:

Correctness Computer science Mathematical proof Programming language Simple (philosophy) Semantics (computer science) Operational semantics Theoretical computer science Mathematics

Metrics

143

Cited By

10.88

FWCI (Field Weighted Citation Impact)

Refs

0.99

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

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Proving assertions about parallel programs

Metrics

Citation History

Topics

Related Documents

Proving assertions about programs that manipulate data structures

Finding Invariant assertions for proving programs

Finding Invariant assertions for proving programs

Parallel assertions for debugging parallel programs

Recursive assertions and parallel programs