Henry F. Ledgard

According to our database, Henry F. Ledgard authored at least 28 papers between 1967 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A New Approach to Parallel Processing.

William C. Cave, Robert E. Wassmer, Henry F. Ledgard, Alan B. Salisbury, Kenneth T. Irvine, Michael A. Mulshine

IEEE Access, 2020

2011

Coding guidelines: finding the art in the science.

Robert Green, Henry F. Ledgard

Commun. ACM, 2011

2004

The Separation Principle: A Programming Paradigm.

Yasushi Kambayashi, Henry F. Ledgard

IEEE Softw., 2004

2003

Measuring productivity in the software industry.

Donald Anselmo, Henry F. Ledgard

Commun. ACM, 2003

2001

The emperor with no clothes.

Henry F. Ledgard

Commun. ACM, 2001

1987

World of programming languages.

Michael Marcotty, Henry F. Ledgard

Springer books on professional computing, Springer, ISBN: 978-0-387-96440-9, 1987

1986

Special Section on The Human Aspects of Computing: A Note on This Collection.

Henry F. Ledgard

Commun. ACM, 1986

1982

Scaling Down Ada (Or Towards A Standard Ada Subset).

Henry F. Ledgard, Andrew Singer

Commun. ACM, 1982

1981

The Annotated Assistant: A Step Towards Human Engineering.

Andrew Singer, Henry F. Ledgard, Jon F. Hueras

IEEE Trans. Software Eng., 1981

Directions in Human Factors for Interactive Systems

Henry F. Ledgard, Andrew Singer, John A. Whiteside

Lecture Notes in Computer Science 103, Springer, ISBN: 3-540-10574-3, 1981

1980

A human engineered variant of BNF.

Henry F. Ledgard

ACM SIGPLAN Notices, 1980

The Natural Language of Interactive Systems.

Henry F. Ledgard, John A. Whiteside, Andrew Singer, William Seymour

Commun. ACM, 1980

1977

Production Systems: A Notation for Defining Syntax and Translation.

Henry F. Ledgard

IEEE Trans. Software Eng., 1977

A reminder for language designers.

Frederic Richard, Henry F. Ledgard

ACM SIGPLAN Notices, 1977

A basis for executing PASCAL programmers.

Henry F. Ledgard, Andrew Singer, Jon F. Hueras

ACM SIGPLAN Notices, 1977

An automatic formatting program for PASCAL.

Jon F. Hueras, Henry F. Ledgard

ACM SIGPLAN Notices, 1977

Corrigendum: "A Sampler of Formal Definitions".

Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann

ACM Comput. Surv., 1977

Surveyor's Forum: A Criticism of Sampler.

Michael Marcotty, Henry F. Ledgard

ACM Comput. Surv., 1977

Two Views of Data Abstraction - Introduction to the Special Section.

Henry F. Ledgard, Robert W. Taylor

Commun. ACM, 1977

1976

A Sampler of Formal Definitions.

Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann

ACM Comput. Surv., 1976

Cobol Under Control.

Henry F. Ledgard, William C. Cave

Commun. ACM, 1976

1975

A Genealogy of Control Structures.

Henry F. Ledgard, Michael Marcotty

Commun. ACM, 1975

1974

On a proposed measure of program structure.

Amos N. Gileadi, Henry F. Ledgard

ACM SIGPLAN Notices, 1974

1973

Production systems - or can we do better than BNF?

Henry F. Ledgard

ACM SIGPLAN Notices, 1973

1972

A Model for Type Checking - with an Application to ALGOL 60.

Henry F. Ledgard

Commun. ACM, 1972

1971

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

Henry F. Ledgard

ACM Comput. Surv., 1971

1970

Ten mini-languages in need of formal definition.

Henry F. Ledgard

ACM SIGPLAN Notices, 1970

1967

A formal system for the specification of the syntax and translation of computer languages.

John J. Donovan, Henry F. Ledgard

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Fall Joint Computer Conference, 1967