Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

Deductive program verification is making fast progress these days. One of the reasons is a tremendous improvement of theorem… Expand

Is this relevant?

2012

2012

Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its… Expand

Is this relevant?

2009

2009

Separation logic is a recent approach to the analysis of pointer programs in which resource separation is expressed with a… Expand

Is this relevant?

Highly Cited

2009

Highly Cited

2009

A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input… Expand

Is this relevant?

2009

2009

We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its… Expand

Is this relevant?

2009

2009

In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on… Expand

Is this relevant?

2008

2008

The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not… Expand

Is this relevant?

Highly Cited

2008

Highly Cited

2008

The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not… Expand

Is this relevant?

2007

2007

We are interested in modular static analysis to analyse softwares automatically. We focus on programs with data structures, and… Expand

Is this relevant?

Review

2005

Review

2005

Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot… Expand

Is this relevant?