D Luckham

Stanford University

Papers

2

Total Citations

29

H-Index

2

About

No biography available yet.

Research Focus

Theoretical computer science2 · 29 citations
Programming language2 · 29 citations
Simple (philosophy)2 · 29 citations
Arithmetic function2 · 29 citations
Computer science2 · 29 citations
Discrete mathematics2 · 29 citations
Function (biology)2 · 29 citations
Mathematics2 · 29 citations
Semantics (computer science)1 · 20 citations
Artificial intelligence1 · 9 citations
Control (management)1 · 9 citations

Key Achievements

2
H-Index
2
Papers
29
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
On automating the construction of programs.
20 citations · 1974
📈 Most Prolific Year: 1974 (2 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Stanford University

Top Papers

  1. 1
    On automating the construction of programs.
    20 citations · 1974
  2. 2
    Automatic generation of programs containing conditional statements
    9 citations · 1974

Key Collaborators

JRJack R. Buchanan2 shared papers
Not generated yet