Start of topic | Skip to actions
Gregory Malecha proposed exploring Separation Logic in COMP 517, Spring 2008. The following discussion assumes that you have read his proposal.
End of topic
Skip to actions | Back to top
Topic Actions: Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r1 | More topic actions
Webs: Main | TWiki | Africa | EmbeddedSystems | Gpce | Houston | International | K12 | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | SpeechClub | Teaching | Texbot | WG211
Web Actions: home Teaching Web newtopic Create New Topic index Index searchtopic Search changes Changes notify Notifications statistics Statistics wrench Preferences
Creative Commons LicenseThis work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.