1960-01-11..16 Paris Meeting — Thirteen International Committee Members (IFIP + ACM + GAMM Cooperation) Wrote 'Report on the Algorithmic Language ALGOL 60' — John Backus / Friedrich Bauer / Heinz Bottenbruch / Julien Green / Charles Katz / John McCarthy / Peter Naur (Editor) / Alan Perlis / Heinz Rutishauser / Klaus Samelson / Bernard Vauquois / Joseph Wegstein / Adriaan van Wijngaarden / Michael Woodger — Published in Communications of the ACM May 1960 3(5):299-314, Numerische Mathematik 1960, and the January 1963 Revised Report — and Yet Wikipedia EN ALGOL 60, the dl.acm.org CACM 1960-05 Paper, ACM Turing Award Pages for Naur 2005 / Perlis 1966 / Bauer, and Britannica All Carry No Patent Number: Eligibility Wall Excavation #6 (SW Subseries DB Form: Eligibility Wall (a) pre-judicial era — international-committee cooperative sub-form #1)

About This Excavation Memo

Primary-source URLs confirmed and full text not read (working range: 6 secondary sources — Wikipedia EN ALGOL 60, dl.acm.org Communications of the ACM 1960-05 3(5):299-314 'Report on the Algorithmic Language ALGOL 60' DOI 10.1145/367236.367262, Springer Numerische Mathematik 1960 'Report on the algorithmic language ALGOL 60' DOI 10.1007/BF01386216, ACM Turing Award Laureate Peter Naur 2005 page, ACM Turing Award Laureate Alan J. Perlis 1966 page, and the Britannica ALGOL 60 entry). No patent number for the ALGOL 60 spec, BNF notation, or Backus-Naur Form was found within today's verify scope, so this memo is written as 'a patent-absence excavation log = structural record of Eligibility Wall (a) pre-judicial era international-committee cooperative form.'

1. ALGOL 60 International Committee Basics

2. Core: Structure of 'Eligibility Wall (a) pre-judicial era — International-Committee Cooperative Form'

(a) Verify Status of Secondary Sources

• WebSearch ""ALGOL 60" patent USPTO Backus Naur Bauer Perlis" → ALGOL 60 spec papers, EUDML PDFs, Springer Numerische Mathematik are abundantly indexed, but 0 hits for ALGOL-related patent numbers
• Wikipedia EN ALGOL 60: detailed chronology (Paris meeting 1960-01-11..16, 13-member international committee, CACM 1960-05 publication, 1963 Revised Report, Naur as editor), no patent reference, no IP-clause reference for IFIP / ACM / GAMM
• dl.acm.org CACM 1960-05 'Report on the Algorithmic Language ALGOL 60' DOI 10.1145/367236.367262: paper metadata reachable (paywalled, this memo did not read full text); ACM official publication
• Springer Numerische Mathematik 1960 'Report on the algorithmic language ALGOL 60' DOI 10.1007/BF01386216: confirmed as Europe-side simultaneous publication on Springer's official archive (full text not read)
• ACM Turing Award Laureate Peter Naur 2005 page: 'for fundamental contributions to programming language design and the definition of Algol 60, to compiler design, and to the art and practice of computer programming' — no patent reference
• ACM Turing Award Laureate Alan J. Perlis 1966 page: 'for his influence in the area of advanced programming techniques and compiler construction' — no patent reference
• Britannica ALGOL 60: international committee + 1960 Paris meeting recorded — no patent reference

(b) IFIP + ACM + GAMM Tri-Organization Cooperative-Disclosure Structure

In 1960, the ALGOL 60 spec was developed across three different countries / three different organizations working in cooperation:

1. ACM (Association for Computing Machinery, US): home organization of US-side members (Backus / McCarthy / Perlis etc.), Communications of the ACM as one of the disclosure venues
2. GAMM (Gesellschaft für Angewandte Mathematik und Mechanik, Germany): home organization of part of the Europe-side members (Bauer / Samelson / Bottenbruch etc.), Numerische Mathematik as one of the disclosure venues
3. IFIP (International Federation for Information Processing, established in 1960 under UNESCO leadership): the 1960-01 Paris meeting grew into the IFIP TC2 / Working Group 2.1 (Programming Languages) hosted form, and IFIP WG 2.1 has continued to manage ALGOL spec revisions since 1962

This made the ALGOL 60 spec a prior-art-confirmed work, simultaneously paper-published from multiple countries and multiple organizations before any patenting could begin. Including BNF (proposed by Backus for ALGOL 58 and refined by Naur for ALGOL 60), the cooperative-disclosure machinery across three organizations functioned as IP defense, and any later patent application would be effectively rejected by the volume of citation.

The fact that the CACM 1960-05 paper and the Numerische Mathematik 1960 paper were simultaneously published means a US-only or Europe-only local patent application could not avoid the prior art — the international-committee cooperative form acts as a strong barrier against any single nation's patent strategy. This lines up directly with the design intent of post-1980s international standards bodies (ISO/IEC, IETF, W3C, etc.) in their problem space.

(c) BNF and the Patenting Difficulty of 'Mathematical Description of a Language Spec'

The core of the ALGOL 60 spec, Backus-Naur Form, is 'a notation for describing programming-language syntax in a context-free grammar.' Backus proposed it for ALGOL 58 as 'Backus Normal Form'; Naur refined it for ALGOL 60. BNF itself was published as a paper in Communications of the ACM 1959-05 by Backus (no patent), and Naur's refinement was paper-published as well.

BNF being classified as mathematical notation falls directly under the U.S. patent practice of the time — the 'mathematical method = unpatentable' doctrine — placing the ALGOL 60 spec as a whole in the canonical position of pre-judicial era (a) form. Out of the 13 members, 7 went on to receive ACM Turing Awards or major academic awards (Backus 1977 / Perlis 1966 / Naur 2005 / McCarthy 1971 / van Wijngaarden IFIP Silver Core Award 1972 / Bauer assorted), but no ALGOL 60 / BNF-related patent record is found for any of the 13 committee members.

3. To Be Strict (3 Required Items)

Confirmed Facts

• The 13-member international committee drafting ALGOL 60 over the January 11-16, 1960 Paris meeting is detailed in Wikipedia EN ALGOL 60 and confirmed
• Communications of the ACM 1960-05 3(5):299-314 'Report on the Algorithmic Language ALGOL 60' at DOI 10.1145/367236.367262 has been verified to be reachable on dl.acm.org (paywalled, this memo did not read full text)
• Springer Numerische Mathematik 1960 2(1):106-136 'Report on the algorithmic language ALGOL 60' at DOI 10.1007/BF01386216 has been confirmed as the Europe-side simultaneous publication on the Springer official archive (full text not read)
• The January 1963 Revised Report being published in Communications of the ACM 6(1):1-17 with Naur as editor is confirmed in Wikipedia EN ALGOL 60
• Of the 13 members, Backus (1977 ACM Turing), Perlis (1966 ACM Turing), Naur (2005 ACM Turing), and McCarthy (1971 ACM Turing) have all received ACM Turing Awards; none of their official pages reference any patent

Author's Interpretation

• 'Eligibility Wall (a) pre-judicial era international-committee cooperative form ((a-3) sub-form)' is post-hoc framing built from comparison with ep88 FORTRAN '(a-1) corporate-lab solo type,' today's ep91 LISP '(a-2) pure academic-disclosure type,' and ep93 COBOL '(a-4) government-contract hybrid type'. Specialists may push back that 'the 1960 IFIP / ACM / GAMM tri-organization cooperative form differs significantly from modern international standards bodies' or 'the ALGOL 60 committee predates the formal establishment of IFIP TC2 / WG 2.1 and the organization is loose'
• 'The cooperative-disclosure machinery across the three organizations functioned as IP defense' is post-hoc framing; whether the 13 committee members at the time explicitly intended IP defense is unverified

Where the Comparison Breaks

• A comprehensive USPTO Patent Center search for 1955-1972 ALGOL-related patents from the 13 members' home institutions (IBM / Carnegie Tech / MIT / NBS / Univac / ETH Zurich / CWI Amsterdam / NPL Teddington etc.) was not performed today. The home institutions could have separately taken ALGOL-related patents
• 'Tri-organization cooperative-disclosure machinery' is a generalization about the period; the original minutes of the 1960-01 Paris meeting were not examined
• BNF's patenting difficulty was attributed to the 'mathematical notation = unpatentable' doctrine, but the IBM internal application-consideration record for the original 1959-05 Backus BNF paper was not retrieved (would require IBM internal archives)

References

• Wikipedia EN ALGOL 60: en.wikipedia.org/wiki/ALGOL_60
• Communications of the ACM 1960-05 ALGOL 60 Report: dl.acm.org/doi/10.1145/367236.367262
• Numerische Mathematik 1960 ALGOL 60 Report: link.springer.com/article/10.1007/BF01386216
• Communications of the ACM 1963-01 Revised ALGOL 60 Report: dl.acm.org/doi/10.1145/366193.366201
• ACM Turing Award Laureate Peter Naur 2005: amturing.acm.org/award_winners/naur_1024454.cfm
• ACM Turing Award Laureate Alan J. Perlis 1966: amturing.acm.org/award_winners/perlis_0132439.cfm
• IFIP Working Group 2.1: ifip.org/bulletin/bulltcs/tc2_aim.htm
• Related episode: #91 SW-009 LISP — Eligibility Wall (a) pre-judicial era pure academic-disclosure form (today's note)
• Related episode: #93 SW-010 COBOL — Eligibility Wall (a) × (c) government-contract hybrid form (today's memo)