On Variants of Genericity
نویسنده
چکیده
We discuss some general styles of human thinking which could be useful at the design stage of a software project. The central idea of genericity (as viewed by us) is to reduce redundancy in a software structure. This leads not only to better software structures, but also improves economy (by consuming less human resources). Reduction of redundancy should start in early phases of the development process, in particular in the design stage. Our concepts have proven valuable for a novel operating system design. We draw some important conclusions: universal genericity and compositorical genericity are regarded as superior to extensional genericity in many cases. Since OO inheritance is a subcase of the latter, we regard it as an optional subordinated concept. We show that the first two concepts can simulate functional programming (FP) and aspect-oriented programming (AOP), among others.
منابع مشابه
Uniform Genericity for Aspect Languages
Aspect-oriented programming languages promise to provide better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reuse. However, it has been noted by various researchers that many of the first generation aspect languages do not provide the degree of reusability initially hoped for. In this paper, we argue that th...
متن کاملThe Finite Intersection Principle and Genericity
We show that a ∆2 Turing degree computes solutions to all computable instances of the finite intersection principle if and only if it computes a 1-generic degree. We also investigate finite and infinite variants of the prin-
متن کاملIncreasing Software Reliability through Use of Genericity
In our opinion, methods for construction of reliable software are of great importance. Reliability engineering must start in the earliest phases of a software project, and it has to consider not only the architectural level, but should be in the mind of humans even earlier when analyzing the problem space. In a previous paper, we argued that reduction of redundancy of software is a central fact...
متن کاملGenericity in Object-Oriented Programming Languages
Genericity is one of the most powerful means for obtaining flexibility in programming with statically typed programming languages. Genericity constructs take on very different forms, the choice of which has a considerable impact on expressiveness, modularity, static checkability and efficiency properties of programs. This tutorial presents an in-depth discussion of the history, origins, and str...
متن کاملGenericity of Nondegenerate Critical Points and Morse Geodesic Functionals
We consider a family of variational problems on a Hilbert manifold parameterized by an open subset of a Banach manifold, and we discuss the genericity of the nondegeneracy condition for the critical points. Based on an idea of B. White [24], we prove an abstract genericity result that employs the infinite dimensional Sard–Smale theorem. Applications are given by proving the genericity of metric...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003