Unifying theories: a personal statement

Authors:
C. A. R. Hoare
Affiliations:
Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Venue:
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Year:
1996

Citing 0
Cited 2

Operational methods in theoretical computer science

ACM Computing Surveys (CSUR)
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I

Quantified Score

Hi-index	0.01

Visualization

Abstract