E. A. Ashcroft - Concepedia

Author

E. A. Ashcroft

University of Waterloo

Also Known As

E. A. Ashcroft, E. Ashcroft, E.A. Ashcroft, Edward A. Ashcroft, Edward Ashcroft

Publications

1.4K

Citations

H-Index

Concepts

All Affiliations

University of Waterloo University of Warwick

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	747
2	Computer Science	9	9	721
3	Language Studies	3	3	279
4	Computer Engineering	1	1	19
5	Linguistics	1	1	19

E. A. Ashcroft

Publications

917

Citations

H-Index

Page 1

	Year	Citations
Lucid, a nonprocedural language with iteration E. A. Ashcroft, William W. Wadge Communications of the ACM EngineeringVerificationSoftware EngineeringSemanticsSoftware Analysis	1977	242
Proving assertions about parallel programs E. A. Ashcroft Journal of Computer and System Sciences Program CheckingEngineeringProgram AnalysisParallel Complexity TheoryVerification	1975	143
Lucid—A Formal System for Writing and Proving Programs E. A. Ashcroft, William W. Wadge SIAM Journal on Computing EngineeringVerificationSoftware SystemsAutomated ProofSoftware Analysis	1976	106
‘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, Autism	2017	104
FORMALIZATION OF PROPERTIES OF PARALLEL PROGRAMS E. A. Ashcroft, Zohar Manna EngineeringParallel SoftwarePredicate CalculusProgram AnalysisAutomated Reasoning	1970	68
Decidable Properties of Monadic Functional Schemas E. A. Ashcroft, Zohar Manna, Amir Pnueli Journal of the ACM Computational LogicEngineeringMonadic Functional SchemasAutomated ReasoningFunctional Schemas	1973	57
A mathematical semantics for a nondeterministic typed λ-calculus Matthew Hennessy, E. A. Ashcroft Theoretical Computer Science EngineeringAutomated ReasoningMathematical SemanticsType TheoryFormal Methods	1980	38
R for Semantics E. A. Ashcroft, William W. Wadge ACM Transactions on Programming Languages and Systems	1982	33
Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare? E. A. Ashcroft, M. Clint, C. A. R. Hoare Acta Informatica Programming Language TheoryEngineeringAutomated ReasoningFormal MethodsAutomated Proof	1976	29
Translating Program Schemas to While-Schemas E. A. Ashcroft, Zohar Manna SIAM Journal on Computing EngineeringWell-founded SemanticsSoftware EngineeringExtra Program VariablesSemantics	1975	26

Page 1