E. A. Ashcroft

Available identifiers

zbMath Open ashcroft.edward-aDBLP86/6039WikidataQ102078517 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
https://portal.mardi4nfdi.de/entity/Q4138082	1977-01-01	Paper
Lucid, a nonprocedural language with iteration	1977-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
Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare	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/Q5679697	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4062665	1971-01-01	Paper

Research outcomes over time

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