Desert Island Column: The Long Story of a Short Theorem

Authors:
Ali Mili
Affiliations:
Institute for Software Research, Fairmont, WV, 26554. amili@csee.wvu.edu
Venue:
Automated Software Engineering
Year:
1999

Citing 5
Cited 0

Laws of programming

Communications of the ACM
Social processes and proofs of theorems and programs

Communications of the ACM
The new math of computer programming

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
Introduction to Mathematical Theory of Computation

Introduction to Mathematical Theory of Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract