From Competition to Amalgamation of Different Programming Paradigms (1993)
ftp://ftp.cs.unh.edu/pub/csp/archive/papers/nato/E
http://inc.istu.ru/files/msh1993.pdf
CACHED:
Abstract:
This paper describes the basic elements (data, actions, tunings, voids, mixtures,...) and principles of programming (stratification, implicit knowledge, limited freedom,...), directed to amalgamating of different programming paradigms (imperative, object-oriented, functional, constraint,...) in a unified process of generating computer system models. Compositions of elements and their projections on axes of representation (visual, audio, tactile, and linguistic) make it possible to construct different algorithmic structures, which have their own syntactic form and operating semantics. Development of compositions is a goal-oriented activity controlled by constraints (resource, domain, coexistence,...). This action creates both stratification system of concepts and operations on them (generalization, specialization, mapping, transformation,...). A proposed approach is principally evolutionary one. It is devoted to clarify the fundamental basis of forms and principles of a het...
Citations
| 120 | Towards a meaning of life – Ait-Kaci, Podelski - 1993 |
| 107 | Programs, Life Cycles, and Laws of Software Evolution – Lehman - 1980 |
| 38 | Models and Equality for Logical Programming – Goguen, Meseguer - 1987 |
| 8 | Knowledge-Based Programming – Tyugu - 1988 |
| 7 | The NUT Language – Matskin, Tyugu - 1992 |
| 4 | Functional Programming Languages with Logical Variables: A Linear Logic View – Darlington, Guo, et al. - 1993 |
| 2 | Borning A., “Kaleidoscope: A Constraint Imperative Programming Language – Lopez, Freeman-Benson - 1994 |
| 1 | Functional and Logic Language with Constraints. A draft prepared for the 6 of Ph.D thesis: Definition al Constraint Programming – FALCON - 1993 |
| 1 | The Program Base is Knowlege Investments. STI, An informational processes and systems – Maslov - 1993 |
| 1 | Designing and programming personal expert systems – Townsend, Feucht |

