Concepedia

Patrick A. V. Hall

PA

Statistics

Publications

15

Citations

466

H-Index

14

Active since

1969

Affiliations

The Open University(Current)

City, University of London

Brunel University of London

Patrick A. V. Hall is an author at The Open University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSoftware EngineeringProgram AnalysisSoftware AnalysisSoftware DesignSoftware TestingLanguage

Publications per year

1969–2002

15

Publications

15

Relations and Entities.

Patrick A. V. Hall, J. Owlett, Stephen Todd · 1976 · 101 citations

Formal Semantics, Relationship Extraction, Language Studies +2

Optimization of Single Expressions in a Relational Data Base System

Patrick A. V. Hall · IBM Journal of Research and Development · 1976 · 68 citations

Relational Database, Engineering, Information Retrieval +17

Equivalence between AND/OR graphs and context-free grammars

Patrick A. V. Hall · Communications of the ACM · 1973 · 36 citations · Full text

Artificial Intelligence, Context-free Grammars, Engineering +16

Test data adequacy measurement

Hong Zhu, Patrick A. V. Hall · Software Engineering Journal · 1993 · 36 citations

Measurement Theory, Engineering, Measurement +23

An algebra of relations for machine computation

Patrick A. V. Hall, Peter B. Hitchcock, Stephen Todd · 1975 · 33 citations

Algebraic Logic, Database Theory, Relational Database +14

1–5 of 15