Jean E. Sammet

First Female ACM President, Co-Designer of COBOL & Creator of FORMAC

Lifespan 1928–2017

Technical Depth advanced

Key Breakthrough FORMAC Symbolic Algebra Compiler (1962) & CODASYL COBOL Specification

Focus Areas

programming languages symbolic computation software standardization computer history

Topic Keywords

#programming-languages #COBOL #FORMAC #symbolic-computation #computer-algebra #ACM #HOPL

Source: Historical Biographical Archive / Wikimedia Commons

Jean E. Sammet

First Female ACM President, Co-Designer of COBOL & Creator of FORMAC

Biographical Overview

Co-designed COBOL as a core member of the CODASYL Short Range Committee, invented FORMAC (the first widely used computer algebra language for symbolic mathematics, 1962), authored the landmark treatise "Programming Languages: History and Fundamentals" (1969), and served as the first female President of the ACM (1974–1976). Sammet established the taxonomy and historiography of modern programming languages.

"I always felt that programming languages were the most fundamental way humans communicate thoughts to machines."
— Jean E. Sammet

Lifespan 1928–2017

Technical Depth advanced

Key Breakthrough FORMAC Symbolic Algebra Compiler (1962) & CODASYL COBOL Specification

Focus Areas

programming languages symbolic computation software standardization computer history

Topic Keywords

#programming-languages #COBOL #FORMAC #symbolic-computation #computer-algebra #ACM #HOPL

Source: Historical Biographical Archive / Wikimedia Commons

💡

Historical Context & Impact

In short

Jean Sammet kept physical paper manuals and punch cards for every programming language ever created in her apartment, amassing an archive of hundreds of languages that she organized into the first definitive 785-page programming language encyclopedia. Her archive is now preserved at the Charles Babbage Institute.

Key Technical Breakthroughs & Inventions

Specification of COBOL (CODASYL 1959) Key member of the six-person Short Range Committee that designed the original specifications for COBOL, authoring the grammar for input/output and arithmetic statements that made high-level business software portable across competing hardware manufacturers.

FORMAC Symbolic Mathematics Compiler (1962) While managing IBM's Boston Advanced Programming Department, designed and implemented FORMAC (FORmula MAnipulation Compiler) on the IBM 7090, establishing the first operational programming system capable of exact symbolic algebra, polynomial factorization, and differentiation rather than pure numerical approximations.

Foundational Programming Language Taxonomy & Historiography (1969) Published "Programming Languages: History and Fundamentals", the encyclopedic 785-page treatise analyzing syntax, semantics, and implementations across 120 programming languages, establishing the modern classification framework for imperative, functional, and symbolic paradigms.

HOPL & ACM Presidency (1974–1978) Served as the first female President of the Association for Computing Machinery (ACM), founded the ACM Special Interest Committee on Symbolic and Algebraic Manipulation (SICSAM), and organized the inaugural History of Programming Languages Conference (HOPL I), preserving primary source documentation of computing's evolution.