Object-oriented Programming Laws for Annotated Java Programs

Details Object-oriented Programming Laws for Annotated Java Programs Object-oriented Programming Laws for Annotated Java Programs

2010-03-25

arxiv.org/abs/1003.4800v1

EPTCS 21, 2010, pp. 65-76

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.21.6

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings.

Affiliated with

Also associated with

No associations

Rating

Object-oriented Programming Laws for Annotated Java Programs 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 Object-oriented Programming Laws for Annotated Java Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Object-oriented Programming Laws for Annotated Java Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-555886