MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

From Competition to Amalgamation of Different Programming Paradigms (1993)

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