Search Sciweavers | Sciweavers

796 search results - page 18 / 160

» An Overview of Separation Logic

click to vote

DAC
2003
ACM

145views Computer Architecture» more DAC 2003»

A hybrid SAT-based decision procedure for separation logic with uninterpreted functions

14 years 10 months ago

Download www.cs.cmu.edu

SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...

Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Br...

claim paper

Read More »

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

14 years 4 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

click to vote

APLAS
2009
ACM

116views Programming Languages» more APLAS 2009»

Weak updates and separation logic

14 years 4 months ago

Download www.cse.lehigh.edu

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

claim paper

Read More »

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

14 years 4 months ago

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers