Project: MRG - Mobile Resource Guarantees

MRG - Mobile Resource Guarantees

LFCS Technical Reports

People:

• Martin Hofmann
• Don Sanella
• Stephen Gilmore
• Ian Stark

Project Info:

• Meetings
• Internal documents
• Related publications (local cache
• Related Projects (local cache)

Papers etc:

• Bibliography Necula
• Bibliography Concert

Sort-of related stuff:

• Isabelle Theorem Prover
  • Isabelle Theory Library
  • NanoJava
• F#
• SML.NET
• FLINT Project
• Ravenbrook's MPS system OpenSource package for mem mgmt

Misc:

• Support @ EdiUni