2017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele · 72:12 · Watch on YouTube
이 강연은 프로그래밍 언어 논문에서 사용되는 비공식적인 추론 규칙 / BNF / 대입 / 오버라인 / 생략 부호 표기법이 실제로는 컴퓨터 과학에서 가장 널리 사용되는 프로그래밍 언어 — "컴퓨터 과학 메타 표기법" — 이며, 최근 페이지 제한으로 인한 과도한 압축으로 인해 대입과 오버라인이 모호해져 형식화와 도구 지원이 필요해졌다고 주장한다.