(no title)
stevenameyer | 12 years ago
From here the field has a bunch of different areas that investigate aspects of this including things such as how difficult a problem is to solve, what kind of hardware is required to be able to compute a solution, the efficiency of an algorithm to solve the problem, data structures which make solving the problem more efficient, etc.
But ultimately the field is the study of efficiently in computing a solution to problems.
siddboots|12 years ago
What about the study of code generation and parsers? What about state machines? Or formalisms like relational algebra, algebraic type theory, distributed protocols, or lambda calculus? None of these things are "about" efficiency.