Microsoft Edge Try Microsoft Edge A fast and secure browser that's designed for Windows 10 Get started

This site uses cookies for analytics, personalized content and ads. By continuing to browse this site, you agree to this use. Learn more
Microsoft
Research
  • Microsoft 365
  • Azure
  • Office 365
  • Dynamics 365
  • SQL
  • Windows 10
      • Windows Server
      • Enterprise Mobility + Security
      • Power BI
      • Teams
      • Visual Studio
      • Surface for Business
      • AI
      • Internet of Things
      • Azure Cognitive Services
      • Quantum
      • Research
      • Docs
      • TechNet
      • Developer Network
      • Windows Dev Center
      • Windows IT Pro Center
      • FastTrack
      • Partner Network
      • Solution Providers
      • Partner Center
      • Cloud Hosting
      • Education
      • Financial services
      • Government
      • Health
      • Manufacturing & resources
      • Retail
      • Security
      • Licensing
      • AppSource
      • Azure Marketplace
      • Events
    • View all
    Research
    Research Home
      • Artificial Intelligence
      • Computer vision
      • Graphics & multimedia
      • Human-computer interaction
      • Human language technologies
      • Search & information retrieval
      • Data visualization, analytics & platform
      • Hardware, devices & quantum computing
      • Programming languages & software engineering
      • Security, privacy & cryptography
      • Systems & networking
      • Algorithms
      • Mathematics
      • Ecology & environment
      • Economics
      • Medical, health & genomics
      • Social sciences
      • Technology for emerging markets
    Products & Downloads
    • Academic Programs
    • Events & Conferences
    People Careers
    • Microsoft Research Blog
    • The Microsoft Research Podcast
    • The AI Blog
      • MSR AI
      • Asia Lab (Chinese)
      • Asia Lab (English)
      • Cambridge Lab
      • India Lab
      • Montreal Lab
      • New England Lab
      • New York City Lab
      • Redmond Lab
      • Applied Sciences Lab
      • Advanced Technology Lab Cairo
      • Quantum
      • Research at Microsoft

    The Next 700 Separation Logics

    August 1, 2010

    • View Link
    • BibTex

    Authors

    • Matthew Parkinson

    Published In

    Verified Software: Theories, Tools, Experiments

    Publication Type

    Inproceedings

    Book Title

    Verified Software: Theories, Tools, Experiments

    Pages

    169-182

    Volume

    6217

    Publisher

    Springer Berlin / Heidelberg

    All rights reserved Springer 2010.

    • Abstract

    Abstract

    Follow Microsoft Research

    • Follow @MSFTResearch

    Share this page

    • Tweet

    What's new

    • Surface Book 2
    • Surface Pro
    • Xbox One X
    • Xbox One S
    • VR & mixed reality
    • Windows 10 apps
    • Office apps

    Store & Support

    • Account profile
    • Download Center
    • Sales & support
    • Returns
    • Order tracking
    • Store locations
    • Support
    • Buy online, pick up in store

    Education

    • Microsoft in education
    • Office for students
    • Office 365 for schools
    • Deals for students & parents
    • Microsoft Azure in education

    Enterprise

    • Microsoft Azure
    • Enterprise
    • Data platform
    • Find a solutions provider
    • Microsoft partner resources
    • Microsoft AppSource
    • Manufacturing & resources
    • Financial services

    Developer

    • Microsoft Visual Studio
    • Windows Dev Center
    • Developer Network
    • TechNet
    • Microsoft Virtual Academy
    • Microsoft developer program
    • Channel 9
    • Office Dev Center

    Company

    • Careers
    • About Microsoft
    • Company news
    • Privacy at Microsoft
    • Investors
    • Diversity and inclusion
    • Accessibility
    • Security
    • Sitemap
    • Contact us
    • Privacy & cookies
    • Terms of use
    • Trademarks
    • About our ads
    • © Microsoft 2018