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.
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
Decision Procedures for the Temporal Verification of Concurrent Lists
This paper studies the problem of formally verifying temporal properties of concurrent datatypes. Concurrent datatypes are… 
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
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… 
Highly Cited
2008
Highly Cited
2008
Crash‐Proof Syntax
The Minimalist Program is guided by the idea that the syntactic system of the language faculty is designed to optimally meet… 
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… 
2003
2003
The dimension of graph directed attractors with overlaps on the line, with an application to a problem in fractal image recognition
Consider a graph directed iterated function system (GIFS) on the line which consists of similarities. Assuming neither any… 
Highly Cited
2001
Highly Cited
2001
Efficient synthesis of 1‐alkyl(aralkyl)‐3‐methyl(ethyl)imidazolium halides: Precursors for room‐temperature ionic liquids
Facile preparation of 1-alkyl(aralkyl)-3-methyl(ethyl)imidazolium bromides and chlorides is reported. With short reaction times… 
Highly Cited
1999
Highly Cited
1999
Long-range potentials for two-species alkali-metal atoms
We address a growing interest in trapping and cooling of mixed-species alkali-metal atoms. Long-range coefficients that arise in… 
1992
1992
Symbolic layout compaction under conditional design rules
The compaction of IC layouts subjected to conditional spacing rules in multiple-level metal technology is addressed. The… 
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)