18
Publications
562
Citations
13
H-Index
1967
Active since
Affiliations
Henry Ledgard is an author at University of Massachusetts Amherst specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringFormal MethodsSoftware DesignSystem SoftwareLinguistics
Publications per year
1967–2011
18
18
The natural language of interactive systems
Henry Ledgard, John Whiteside, Andrew Singer et al. · Communications of the ACM · 1980 · 165 citations · Full text
Engineering, Visual Programming Language, Software Engineering +19
A genealogy of control structures
Henry Ledgard, Michael Marcotty · Communications of the ACM · 1975 · 102 citations · Full text
Engineering, Theoretical Completeness, Software Engineering +18
An automatic formatting program for PASCAL
Jon Hueras, Henry Ledgard · ACM SIGPLAN Notices · 1977 · 35 citations · Full text
The human aspects of computing
Henry Ledgard · Communications of the ACM · 1986 · 29 citations · Full text
Rows per page
1–5 of 18