David C. Luckham

Available identifiers

zbMath Open luckham.david-cMaRDI QIDQ578888

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4353642	1997-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q3997417	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4003826	1992-09-18	Paper
ANNA. A language for annotating Ada programs. Reference manual	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4723277	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3742692	1986-01-01	Paper
Adam: An Ada-based language for multiprocessing	1984-01-01	Paper
Ada exception handling: an axiomatic approach	1980-01-01	Paper
Verification of Array, Record, and Pointer Operations in Pascal	1979-01-01	Paper
Proof of termination within a weak logic of programs	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138077	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4146243	1976-01-01	Paper
Automatic program verification. I: A logical basis and its implementation	1974-01-01	Paper
Program schemes, recursion schemes, and formal languages	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5652223	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4160378	1972-01-01	Paper
Compatibility and Complexity of Refinements of the Resolution Principle	1972-01-01	Paper
Extracting information from resolution proof trees	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5619635	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5594194	1968-01-01	Paper
On Minimal and Almost-Minimal Systems of Notations	1965-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: David C. Luckham