Topic index

• definition: [[proglang-src-knuth_algorithms_1996]]
• as abstraction, in contrast with concretion of program: [[proglang-src-knuth_algorithms_1996]]

• of software: [[proglang-src-colburn_philosophy_2000]]
• of process (as running program): [[proglang-src-bryant_computer_2003]]
• of virtual memory: [[proglang-src-bryant_computer_2003]]
• of file (as sequence of bytes): [[proglang-src-bryant_computer_2003]]
• of algorithm, in contrast with concretion of program: [[proglang-src-knuth_algorithms_1996]]

• [[proglang-src-brown_automatic_1954]]
• [[proglang-src-gorn_planning_1954]]
• [[proglang-src-wegstein_automatic_1956]]
• [[proglang-src-hopper_interlude_1956]]
• [[proglang-src-colburn_philosophy_2000]]
• as translation of assembly language to machine language: [[proglang-src-bryant_computer_2003]], [[proglang-src-scott_programming_2009]]
• assembly language:
  • [[proglang-src-scott_programming_2009]]
  • as not qualifying as proglang: [[proglang-src-sammet_programming_1969]]
  • as not entirely distinguishable from machine language: [[proglang-src-sammet_programming_1969]]
  • use of mnemonic codes in, to replace binary instructions: [[proglang-src-sammet_programming_1969]], [[proglang-src-bryant_computer_2003]]

• as marking computer science’s break with mathematical thinking: [[proglang-src-knuth_early_2003]]
• flow diagrams as marking transition to: [[proglang-src-knuth_early_2003]]

• of programming
  • [[proglang-hst-holberton_merge_sort]]
  • [[proglang-src-brown_automatic_1954]]
  • [[proglang-src-backus_ibm_1954]]
  • [[proglang-src-gill_general_1954]]
  • [[proglang-src-hopper_automatic_1954]]
  • [[proglang-src-hopper_interlude_1956]]
  • [[proglang-src-hopper_keynote_1978]]
  • [[proglang-src-petersen_automatic_1957]]
  • [[proglang-src-wegstein_automatic_1956]]

• encoding as fundamental idea: [[proglang-src-bryant_computer_2003]]
• encoding of instructions
  • as abstraction of physical states: [[proglang-src-colburn_philosophy_2000]]
  • as detachment of thought from language: [[proglang-src-flusser_does_2011]]
  • [[proglang-src-brown_automatic_1954]]
  • [[proglang-src-wegstein_automatic_1956]]
  • [[proglang-src-colburn_philosophy_2000]]
• digits
  • [[proglang-src-bryant_computer_2003]]
• and hexadecimal notation: [[proglang-src-bryant_computer_2003]]

CODE-SWITCHING: see MULTILINGUAL PROGRAMMING

• history of term: [[proglang-src-hopper_automatic_1954]]

• [[proglang-src-hopper_automatic_1954]]
• [[proglang-src-brown_automatic_1954]]
• [[proglang-src-moser_compiler_1954]]
• [[proglang-src-hopper_interlude_1956]]
• [[proglang-src-colburn_philosophy_2000]]
• as translation of source language to assembly language: [[proglang-src-bryant_computer_2003]], [[proglang-src-scott_programming_2009]]
• contrasted with interpretation [[proglang-src-backus_ibm_1954]]
• A-series compilers
  • A-0 compiler
    • [[proglang-src-moser_compiler_1954]]
  • A-2 compiler
    • [[proglang-src-moser_compiler_1954]]
• NYU compiler
  • [[proglang-src-goldfinger_new_1954]]

• [[proglang-src-colburn_philosophy_2000]]
• computer as “mathematical machine”: [[proglang-src-hoare_mathematics_1986]]

• diagrams
• [[proglang-src-hopper_automatic_1954]]
• [[proglang-src-wegstein_automatic_1956]]

• [[proglang-src-hopper_interlude_1956]]

• contrasted with compilation: [[proglang-src-backus_ibm_1954]], [[proglang-src-scott_programming_2009]]

LOGIC

• [[proglang-src-scott_programming_2009]]
• as not entirely distinguishable from assembly language: [[proglang-src-sammet_programming_1969]]
• as abstraction of physical states [[proglang-src-colburn_philosophy_2000]]
• and associative meanings like those in natural languages: [[proglang-src-serrell_property_1956]]
• combining with proglangs: [[proglang-src-backus_ibm_1954]]

• as paradigm for proglang:
  • [[proglang-src-hoare_axiomatic_1969]]
  • [[proglang-src-hoare_mathematics_1986]]
  • [[proglang-src-colburn_philosophy_2000]]

• address assignment
  • [[proglang-src-goldfinger_new_1954]]
  • [[proglang-src-gorn_planning_1954]]
  • [[proglang-src-rochester_symbolic_1953]]
• word length
  • [[proglang-src-wegstein_automatic_1956]]

MULTILINGUAL PROGRAMMING: see POLYGLOT PROGRAMMING

• as paradigm for machine language: [[proglang-src-serrell_property_1956]]
• as “double-locked codes”: [[proglang-src-flusser_does_2011]]

• development of, as distinct from proglang development: [[proglang-src-sammet_programming_1969]]

• [[proglang-src-backus_ibm_1954]]
• [[proglang-src-petersen_automatic_1957]]

• as concrete, in contrast with abstraction of algorithm: [[proglang-src-knuth_algorithms_1996]]
• ontological status:
  • [[proglang-src-colburn_philosophy_2000]]
  • as a string of characters: [[proglang-src-bryant_computer_2003]]
  • as static text: [[proglang-src-colburn_philosophy_2000]]
  • as dynamic process: [[proglang-src-colburn_philosophy_2000]]
  • as mathematical expression: [[proglang-src-hoare_mathematics_1986]]

• history of term: [[proglang-src-hopper_automatic_1954]]

• history of term: [[proglang-src-hopper_automatic_1954]]
• as mathematical activity: [[proglang-src-hoare_mathematics_1986]]
• as writing: [[proglang-src-flusser_does_2011]]
• axiomatic basis of: [[proglang-src-hoare_axiomatic_1969]]
• as exact science: [[proglang-src-hoare_axiomatic_1969]]
• literate: [[proglang-src-knuth_algorithms_1996]], [[proglang-src-knuth_preface_1992]]
  • as essayistic: [[proglang-src-knuth_algorithms_1996]]
  • as creating works of literature: [[proglang-src-knuth_preface_1992]]

• [[proglang-src-brown_automatic_1954]]
• [[proglang-src-gorn_planning_1954]]
• [[proglang-src-wegstein_automatic_1956]]
• as hardware-independent: [[proglang-src-hoare_axiomatic_1969]]
• as mathematical theory: [[proglang-src-hoare_mathematics_1986]]
• as human-machine communication: [[proglang-src-sammet_programming_1969]]
• as interface: [[proglang-src-sammet_programming_1969]]
• development of, as distinct from OS development: [[proglang-src-sammet_programming_1969]]
• as more advanced than automated programming: [[proglang-src-sammet_programming_1969]]
• “spectrum,” of paradigms: [[proglang-src-scott_programming_2009]]
• first conferences devoted to: [[proglang-src-sammet_programming_1969]]
• purpose of: + problem-solving: [[proglang-src-sammet_programming_1969]]
• categorization of: + imperative: [[proglang-src-scott_programming_2009]]

• [[proglang-src-moser_compiler_1954]]
• [[proglang-src-hopper_interlude_1956]]
• [[proglang-src-gill_general_1954]]
• [[proglang-src-backus_ibm_1954]]
• [[proglang-src-wegstein_automatic_1956]]
• [[proglang-src-hopper_interlude_1956]]
• [[proglang-src-mcgee_omnicode_1957]]

• [[proglang-src-colburn_philosophy_2000]]

• [[proglang-src-colburn_philosophy_2000]]

• [[proglang-src-backus_ibm_1954]]
• [[proglang-src-goldfinger_new_1954]]

• [[proglang-src-hoare_axiomatic_1969]]

• [[proglang-src-moser_compiler_1954]]
• [[proglang-src-goldfinger_new_1954]]
• [[proglang-src-hopper_interlude_1956]]
• [[proglang-src-wegstein_automatic_1956]]

• as insufficient basis for correctness: [[proglang-src-hoare_axiomatic_1969]]

• [[proglang-src-hopper_automatic_1954]]
• [[proglang-src-gorn_planning_1954]]
• [[proglang-src-gill_general_1954]]
• [[proglang-src-backus_ibm_1954]]
• [[proglang-src-mcgee_omnicode_1957]]
• [[proglang-src-colburn_philosophy_2000]]
• compilation and assembly as: [[proglang-src-bryant_computer_2003]], [[proglang-src-scott_programming_2009]]
• interpretation as not: [[proglang-src-scott_programming_2009]]

• [[proglang-src-goldfinger_new_1954]]

• universal code/pseudocode
  • [[proglang-src-brown_automatic_1954]]
  • [[proglang-src-gorn_planning_1954]]
  • [[proglang-src-wegstein_automatic_1956]]

• [[proglang-src-colburn_philosophy_2000]]

• [[proglang-src-wegstein_automatic_1956]]
• word size as “fundamental system parameter”: [[proglang-src-bryant_computer_2003]]

• [[proglang-src-flusser_does_2011]]