cm-distinctions.org

Computing Magic Distinctions

Computing Distinctions

Representation and Search

DDG: Representation and Search

Early vs. Late Binding

Lazy vs. Strict Evaluation

Multiple Notations, Multiple Languages, Customizable Views

Text vs. Database vs. Persistent Virtual Store

Homoiconicity.

Intentional vs. Implementation Typing

Paradigms

Programming Paradigms Concepts, Techniques, and Models of Computer Programming

Integral Proving and Programming

Metaprogramming

Rule of Least Power

Rule of Least Power Regular Expressions, RTNs, Relational Algebra, Horne Clauses

Constancy, Monotonicity, Versioning

• No loss of information
• Time Travel
• Hidden violations maybe OK!

Artificial Intelligence Techniques

• Knowledge Representation and Reasoning
• Blackboard Architecture
• Logic Programming
• Constraint Programming
• Constraint Logic Programming

Efficiency

• Algorithm and Heuristic Efficiency
• Impedance issues between HLLs and conventional machines
• Compilers, Interpreters, Runtime support overhead
• Energy Efficiency
• Programmer Efficiency

Process, Methodology, Architecture, Design, Implmentation, etc.

• Software Architecture
• Deployment
• “Maintenance”

Miscellaneous

• Design Patterns
• Bootstrapping
• InterLisp
  • DWIM
  • LOOPS
• Engelbart
  • Augmentation of Intellect
  • Collaboration Support
• MIT Lisp Machine
  • Space Cadet Keyboard
• Ted Nelson
  • Computer Lib / Dream Machines
• XR, Croquet, Interactive Eyegaze
• Magic