[ escjava-Research-198 ] purity

[atiti]

{{{

!html

Reply to: noreply@sort.ucd.ie }}} {{{ Research item #198, was opened at 2005-10-27 16:03 You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=780&aid=198&group_id=97

Category: JML Group: None

Status: Closed Resolution: Out of Date Priority: 3 Submitted By: Joseph Kiniry (jkiniry) Assigned to: Nobody (None) Summary: purity

Initial Comment: Several different definitions of purity exist in the literature. The definitions seem to organise into either a partial or total order of "strengths" of purity. Some rely upon familiar definitions and foundations (e.g., the original definition in the JML Prelim Design paper and the reference manual), and others rely upon new, unfamiliar foundations (see BarnettEtal05).

The purpose of this project is to deeply investigate these different notions of purity. First, a survey paper needs to be written that summarises all the proposed approaches. Next, several candidate proposals need to be realised theoretically and practically in ESC/Java2. Finally, we need to evaluate the utility and effectiveness of checking these different flavours of purity---how easy/hard are they to check? to use? how common are they? Does each flavour properly subsume the next, both logically and practically?

Initial researchers: Joe Kiniry, Erik Poll, Marieke Huisman, Patrice Chalin, others

---

You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=780&aid=198&group_id=97 }}}

[atiti]

From: (GH: None) Date: Sat Dec 15 17:23:12 2007

added mailto line

This message has 0 attachment(s)

[atiti]

From: None (GH: None) Date: Tue Apr 27 14:34:16 2010

Milestone ESCJava2 2.0.9 release deleted