Concepedia

E. A. Ashcroft

EA

14

Publications

917

Citations

14

H-Index

1970

Active since

Affiliations

University of Waterloo(Current)

University of Warwick

E. A. Ashcroft is an author at University of Waterloo specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsProgram AnalysisSoftware AnalysisLanguageVerification

Publications per year

1970–2017

14

Publications

14

Lucid, a nonprocedural language with iteration

E. A. Ashcroft, William W. Wadge · Communications of the ACM · 1977 · 242 citations · Full text

Engineering, Verification, Software Engineering +22

Proving assertions about parallel programs

E. A. Ashcroft · Journal of Computer and System Sciences · 1975 · 143 citations

Program Checking, Engineering, Program Analysis +10

Lucid—A Formal System for Writing and Proving Programs

E. A. Ashcroft, William W. Wadge · SIAM Journal on Computing · 1976 · 106 citations

Engineering, Verification, Software Systems +17

‘The dots just don’t join up’: Understanding the support needs of families of children on the autism spectrum

James Galpin, Penny Barratt, E. A. Ashcroft et al. · Autism · 2017 · 104 citations

FORMALIZATION OF PROPERTIES OF PARALLEL PROGRAMS

E. A. Ashcroft, Zohar Manna · 1970 · 68 citations

Engineering, Parallel Software, Predicate Calculus +14

Rows per page

1–5 of 14