User contributions for Nadia Polikarpova
Results for Nadia Polikarpova talk block log uploads logs
A user with 8 edits. Account created on 24 December 2007.
25 December 2007
- 12:3312:33, 25 December 2007 diff hist +1,277 CITADEL →Inferring contracts for generic classes
- 12:2812:28, 25 December 2007 diff hist +913 CITADEL →Support for loop invariants
- 12:2212:22, 25 December 2007 diff hist +11 m CITADEL →Unfolded variables
- 12:1712:17, 25 December 2007 diff hist +28 m CITADEL →Unfolded variables
- 12:1612:16, 25 December 2007 diff hist −28 m CITADEL →Unfolded variables
- 12:1312:13, 25 December 2007 diff hist +17,412 CITADEL Added topics: "chechink preconditions" ("static vs. dynamic" and "wrapping vs. qualification") and "checking hand-written contracts"
- 11:0711:07, 25 December 2007 diff hist −2 CITADEL Term "flattening" changed to "unfolding"
- 11:0611:06, 25 December 2007 diff hist −7 CITADEL Term "flattened" changed to "unfolded"