LARA

Simple Module Invariants

Invariants as Shorthands

Hiding Private Invariants

- Login

Trace: • verifying_programs_with_global_containers • exercise_14 • trivia_bad_languages • hcmut • pldi09 • labs04-draft • b.4_complementarity_with_other_research_programmes • sets_of_states_at_each_program_point • f._timetable • simple_module_invariants

sav08/simple_module_invariants.txt · Last modified: 2008/04/09 00:42 by vkuncak