# Jean Sammet

> 1928–2017 · Computer Scientist, Programming Language Historian
>
> **Recorded contribution:** FORMAC; programming language history; first female ACM president

## How to use this dossier

Read for a causal chain, not a hero story: inherited problem → contribution → mechanism → downstream capability → limit. Then close the page and complete the reconstruction exercise from memory.

## 1. Historical orientation

Jean E. Sammet (1928–2017) was a programming-language designer, historian, and professional leader. At IBM she managed development of FORMAC, a FORTRAN-oriented system for symbolic manipulation of algebraic expressions, and earlier contributed to COBOL-related work. Her 1969 book Programming Languages: History and Fundamentals documented languages at a moment when much implementation knowledge might otherwise have disappeared. Sammet later became ACM's first woman president. 'First female ACM president' is an institutional milestone, but her deeper computing contribution combines a domain-specific symbolic language with unusually rigorous preservation and classification of programming-language history.

## 2. The problem inherited

Scientific programs could evaluate numeric formulas but had difficulty manipulating algebraic expressions symbolically, and the rapidly multiplying language landscape lacked systematic historical documentation.

## 3. The central contribution

Sammet led FORMAC's development so users could represent and transform formulas as data, and she constructed an evidence-rich taxonomy and history of early programming languages.

## 4. Reconstruct the mechanism

1. Parse an algebraic expression into a tree whose nodes represent operators, functions, variables, and constants.
2. Apply pattern-directed rewrite rules such as combining constants, expanding products, or differentiating function forms.
3. Preserve symbolic variables rather than forcing them to numeric values, then print the transformed expression in conventional notation.
4. Embed these capabilities around familiar FORTRAN workflows so scientific programmers can combine symbolic and numerical stages.

## 5. What changed downstream

- FORMAC became an early influential computer-algebra system and showed the value of domain-specific language extensions.
- Sammet's book remains a major source for reconstructing early language design and use.
- Her ACM leadership increased professional visibility for language history and women in computing.

## 6. Attribution, limits, and uncertainty

- FORMAC was an IBM team project, and symbolic algebra had earlier systems and mathematical precedents.
- A rewrite system needs canonicalization and termination discipline; locally valid rules can cause expression explosion or loops.
- Institutional 'first woman' framing should not substitute for explaining Sammet's technical and historical work.

## 7. Reconstruction lab

Build an expression-tree differentiator for constants, variables, sums, products, and powers. Add simplification rules, test x*x versus x^2, and find two rewrite rules that loop if applied in both directions without a normal-form policy.

## 8. Evidence trail

- [Jean Sammet](https://www.computerhistory.org/collections/catalog/102738222) — Computer History Museum
- [Jean E. Sammet](https://cacm.acm.org/news/218067-jean-e-sammet-1928-2017/fulltext) — Association for Computing Machinery

---

*Research checked 2026-08-09. Dates, roles, and claims about living people are historical snapshots. Linked sources remain the authority; this dossier is original instructional synthesis.*