Back to Results
First PageMeta Content
Formal methods / Predicate logic / Model theory / Formal languages / Predicate transformer semantics / First-order logic / Predicate / Satisfiability Modulo Theories / Functional predicate / Logic / Mathematics / Mathematical logic


Separation Predicates: a Taste of Separation Logic in First-Order Logic? Fran¸cois Bobot and Jean-Christophe Filliˆatre LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893
Add to Reading List

Document Date: 2012-08-22 10:26:30

Open Document

File Size: 357,49 KB

Share Result on Facebook

City

Paris / /

Company

Intel / /

Country

France / /

IndustryTerm

tool chain / classic in-place list reversal algorithm / elegant solution / /

Organization

U.S. Securities and Exchange Commission / French national research organization / Core Duo / /

Person

Bobot Filliˆatre / Jean-Christophe Filli / /

Position

author / assistant / /

ProgrammingLanguage

C / /

Technology

classic in-place list reversal algorithm / /

URL

http /

SocialTag