Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming

Details Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming

2011-07-16

arxiv.org/abs/1107.3193v8

Computer Science

Programming Languages

13 pages, 10 figures

Scientific paper

Type expressiveness is defined in this paper as a convention to use public getters to reveal each type's information in a self-contained way so that its instance can be cloned, serialized and persisted by reflecting on the type definition only. Type expressiveness can be the foundation to allow data exchange between different address spaces created by same or different computer languages. A new behavior descriptive entity type called spec is proposed, which combines the traditional interface with test rules and test cases, to completely specify the desired behavior of each method, and to enforce the behavior-wise correctness of all compiled units. The combination of type expressiveness and spec results in a new programming paradigm, which allows the separation programming space into (1) a behavior domain to aggregate all behavior coding in the format of spec, (2) a object domains to bind each concrete spec to its data representation in a particular address space, and (3) a realization domain to transfer data between the address spaces using the type expressiveness. Such separation guarantees the strictness of behavior satisfaction at compile time, while allows flexibility of dynamical binding of actual implementation at runtime. Such separation also allows a unique scheme for multiple inheritance which is resolved at compile time in the behavior domain.

Affiliated with

Also associated with

No associations

Rating

Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-549792