Skip to search formSkip to main contentSkip to account menu

Separation logic

In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs.It was developed by John C. Reynolds, Peter O… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
AlgorithmBunched logicComputer scienceFrama-C

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
On generalized gp*-closed set in topological spaces
In this paper, the authors introduce a new class of sets called gp*-closed sets in topological spaces. Also we discuss some of… 
2011
2011
Radiation ${Q}$ -Factors of Thin-Wire Dipole Arrangements
In this letter, we present an investigation of the radiation Q-factors of two coupled thin dipole antennas with sinusoidal… 
2010
2010
Surface ozonation of polyvinyl chloride for its separation from waste plastic mixture by froth floatation
Selective surface modification of polyvinyl chloride (PVC) by ozonation was evaluated to facilitate the separation of PVC from… 
2009
2009
Practical Tactics for Separation Logic
We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics… 
2009
2009
Parametric Study of Power Absorption Patterns Induced in Adult and Child Head Models by Small Helical Antennas
A comparative assessment of power absorption in adult and child heads exposed to a small helical antenna at 1710MHz, is presented… 
2009
2009
SIMULATION OF OFFGAS SCRUBBING BY A COMBINED EULERIAN-LAGRANGIAN MODEL
In an industrial scrubber water droplets are introduced into the dust laden offgas in order to capture the fine dust particles… 
Review
2005
Review
2005
Overview of possible LHC IR upgrade layouts
An upgrade of the LHC interaction regions could potentially increase the luminosity by a factor of two or more. Several IR… 
Review
2005
Review
2005
A Hubble Space Telescope Advanced Camera for Surveys Search for Brown Dwarf Binaries in the Pleiades Open Cluster
We present the results of a high-resolution imaging survey for brown dwarf binaries in the Pleiades open cluster. The… 
2004
2004
Λsp-sets and some weak separation axioms
We shall introduce the notions of Λsp-closed and spg-closed sets. We also investigate properties of these sets and introduce some… 
1998
1998
Equilibrium Study on the Ion Association of Monovalent and Divalent Naphtholsulfonates with Tetrabutylammonium Ion in an Aqueous Solution by Capillary Zone Electrophoresis
The ion-association properties of monovalent and divalent naphtholsulfonate ions were investigated with tetrabutylammonium ion… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)