Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Henry Ledgard | Researchclopedia

Back to researchers

Henry Ledgard

University of Toledo ORCID

124

Works

1,805

Citations

17

h-index

29

i10-index

Research Topics

Logic, programming, and type systems Parallel Computing and Optimization Techniques Teaching and Learning Programming

Affiliations

Johns Hopkins University1971–1972

University of Derby1982–1982

University of Massachusetts Amherst1973–2005

University of Massachusetts Boston1977–1977

University of Oxford1970–1970

Top Works

Reference Manual for the ADA Programming Language

1983769 citations

Distributed and Parallel Computing Systems

Software Engineering and Design Patterns

The natural language of interactive systems

Henry Ledgard,John Whiteside,et al.

1980165 citations

A genealogy of control structures

Henry Ledgard,Michael Marcotty

1975102 citations

A Sampler of Formal Definitions

Michael Marcotty,Henry Ledgard,et al.

197692 citations

Reference Manual for the Ada Programming Language. Proposed Standard Document

Jean D. Ichbiah,Bernd Krieg-Brueckner,et al.

198049 citations

Ten Mini-Languages: A Study of Topical Issues in Programming Languages

197142 citations

The World of Programming Languages

Michael Marcotty,Henry Ledgard

198739 citations

Measuring productivity in the software industry

Donald Anselmo,Henry Ledgard

200336 citations

Directions in Human Factors for Interactive Systems

Henry Ledgard,Singer, Andrew 1943-,et al.

198136 citations