Java Modeling Language (JML) / Feature Requests / #57 Efficiency: Jmlc should cache model fields

#57 Efficiency: Jmlc should cache model fields

Status: open

Owner: nobody

Labels: jmlrac (i.e., the jmlc tool) (44)

Module:

Priority: 4

Updated: 2013-10-27

Created: 2003-08-07

Creator: Roy Patrick Tan

Private: No

There should be no need to recompute model fields after
calling pure methods, thus it would be more efficient to
cache the result of an abstraction function and
recompute only after a non-pure method is called.

Discussion

Gary T. Leavens - 2003-08-15

milestone: --> self_reported

summary: Efficiency: Cache model fields --> Efficiency: Jmlc should cache model fields
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Gary T. Leavens - 2006-05-18

priority: 5 --> 4

assigned_to: cheon --> nobody
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Gary T. Leavens - 2006-05-18

Logged In: YES
user_id=633675

See also the recent paper by Leino and Mueller on model
fields for some more ideas.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Efficiency: Jmlc should cache model fields

Searches

Help

#57 Efficiency: Jmlc should cache model fields

Discussion