The following pages link to David C. Luckham (Q578888):
Displaying 21 items.
- ANNA. A language for annotating Ada programs. Reference manual (Q578891) (← links)
- Proof of termination within a weak logic of programs (Q1238994) (← links)
- Program schemes, recursion schemes, and formal languages (Q1393937) (← links)
- Automatic program verification. I: A logical basis and its implementation (Q1843170) (← links)
- Extracting information from resolution proof trees (Q2547494) (← links)
- Adam: An Ada-based language for multiprocessing (Q3345761) (← links)
- (Q3742692) (← links)
- Verification of Array, Record, and Pointer Operations in Pascal (Q3899469) (← links)
- Ada exception handling: an axiomatic approach (Q3922135) (← links)
- (Q3997417) (← links)
- (Q4003826) (← links)
- (Q4138077) (← links)
- (Q4146243) (← links)
- (Q4160378) (← links)
- (Q4353642) (← links)
- (Q4723277) (← links)
- (Q5594194) (← links)
- (Q5619635) (← links)
- On Minimal and Almost-Minimal Systems of Notations (Q5622174) (← links)
- (Q5652223) (← links)
- Compatibility and Complexity of Refinements of the Resolution Principle (Q5664827) (← links)