Concrete types of computation
Most to all computer languages are Turing Complete or can compute every Turing-computable function. This refers to a language that has conditional branching and allows an arbitrary number of variables. If this is the case, then how do different language categories address the notion of computation?
- Imperative or procedural programming (Assembly, C, Fortran, et al. ): This generally describes computation in terms of statements that change a program state.
- Object-Oriented programming (Simula, Smalltalk, Java, C++, et al.): This grew out of a need to build larger and more complex systems. Its computation model focuses on data encapsulation and object interaction. While procedural programming treats computation in terms ...