👤

R. L. Constable

3 books

Books by R. L. Constable

Logic and Program Semantics
Logic and Program Semantics
2012
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)
1982
A programming logic
A programming logic
1978