E. A. Ashcroft

Available identifiers

zbMath Open ashcroft.edward-aWikidataQ102078517 ScholiaQ102078517MaRDI QIDQ1152948

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3776591	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3678639	1985-01-01	Paper
R for Semantics	1982-01-01	Paper
A mathematical semantics for a nondeterministic typed lambda-calculus	1980-01-01	Paper
A generalized setting for fixpoint theory	1979-01-01	Paper
Lucid, a nonprocedural language with iteration	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138082	1977-01-01	Paper
Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare	1976-01-01	Paper
Lucid—A Formal System for Writing and Proving Programs	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4159365	1976-01-01	Paper
Proving assertions about parallel programs	1975-01-01	Paper
Translating Program Schemas to While-Schemas	1975-01-01	Paper
Decidable Properties of Monadic Functional Schemas	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4062665	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5679697	1971-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: E. A. Ashcroft