Sign In

Communications of the ACM



Soundness and Completeness: With Precision
From [email protected]

Soundness and Completeness: With Precision

The two key properties of program analysis are dual of each other.

Computer Science Relies on the Opposite of Godel's Results
From [email protected]

Computer Science Relies on the Opposite of Godel's Results

The first-order theories of Gödel's results necessarily leave mathematical objects ill-defined.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account