Problem solving techniques for the design of algorithms

Information Processing and Management

Volumn 20, Issue 1-2, 1984, Pages 97-118

  Kant, Elaine ^a   Newell, Allen ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE - DESIGN; HUMAN ENGINEERING - BEHAVIORAL RESEARCH;

COGNITIVE PSYCHOLOGY; HUMAN PROBLEM-SOLVING;

COMPUTER PROGRAMMING;

EID: 0020233781     PISSN: 03064573     EISSN: None     Source Type: Journal    
DOI: 10.1016/0306-4573(84)90042-6     Document Type: Article

References (26)

1. Transformational implementation: an example
2. LOPS-A system based on a strategical approach to program synthesis
3. A model of human cognitive behavior in writing code for computer programs
4. A system for program refinement
5. A synthesis of several sorting algorithms
6. Verbal reports as data
7. Results in knowledge-based program synthesis
8. The processes involved in designing software
9. Naive algorithm design techniques; a case study
10. Spatial reasoning in solving physics problems
11. The evolution of list-copying algorithms and the need for structured program verification
12. Heuretics: theoretical and experimental study of heuristics rules
13. Automatic data structure selection: an example and overview
14. The design and evaluation of a knowledge net for MERLIN
15. Automating the software design process for management information systems
16. Heuristic programming: Ill structured problems
17. Reasoning problem solving, and decision processes: the problem space as a fundamental category
18. Reconstruction of algorithms from memory snapshots of their execution
19. Inspection methods in programming
20. Automatic representation selection for associative data structures
21. Inferring LISP programs from examples
22. Some algorithm design methods