arxiv.org/abs/2006.13635

Preview meta tags from the arxiv.org website.

Linked Hostnames

27

Thumbnail

Search Engine Appearance

Google

https://arxiv.org/abs/2006.13635

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

Abstract page for arXiv paper 2006.13635: ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity



Bing

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

https://arxiv.org/abs/2006.13635

Abstract page for arXiv paper 2006.13635: ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity



DuckDuckGo

https://arxiv.org/abs/2006.13635

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

Abstract page for arXiv paper 2006.13635: ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

  • General Meta Tags

    19
    • title
      [2006.13635] ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
    • title
      open search
    • title
      open navigation menu
    • title
      contact arXiv
    • title
      subscribe to arXiv mailings

  • Open Graph Meta Tags

    10
    • og:type
      website
    • og:site_name
      arXiv.org
    • og:title
      ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
    • og:url
      https://arxiv.org/abs/2006.13635v3
    • og:image
      /static/browse/0.3.4/images/arxiv-logo-fb.png

  • Twitter Meta Tags

    6
    • twitter:site
      @arxiv
    • twitter:card
      summary
    • twitter:title
      ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained...
    • twitter:description
      We present a new version of ReLoC: a relational separation logic for proving refinements of programs with higher-order state, fine-grained concurrency, polymorphism and recursive types. The core...
    • twitter:image
      https://static.arxiv.org/icons/twitter/arxiv-logo-twitter-square.png

  • Link Tags

    12
    • apple-touch-icon
      /static/browse/0.3.4/images/icons/apple-touch-icon.png
    • canonical
      https://arxiv.org/abs/2006.13635
    • icon
      /static/browse/0.3.4/images/icons/favicon-32x32.png
    • icon
      /static/browse/0.3.4/images/icons/favicon-16x16.png
    • manifest
      /static/browse/0.3.4/images/icons/site.webmanifest

Links

70