Relational semantics and finite models of separation logics

Dominique Larchey-Wendling

Conference Papers Year : 2007

Relational semantics and finite models of separation logics

(1)

1

Dominique Larchey-Wendling

Function : Author
PersonId : 6871
IdHAL : dlarcheyw
ORCID : 0000-0001-9860-7203
IdRef : 152492003

Logic, proof Theory and Programming

Keywords

Relational semantics separation logics

Domains

Logic in Computer Science [cs.LO]

Dominique Larchey-Wendling : Connect in order to contact the contributor

https://hal.science/hal-00607778

Submitted on : Monday, July 11, 2011-11:32:59 AM

Last modification on : Friday, March 24, 2023-2:52:54 PM

Dates and versions

hal-00607778 , version 1 (11-07-2011)

Identifiers

HAL Id : hal-00607778 , version 1

Cite

Dominique Larchey-Wendling. Relational semantics and finite models of separation logics. Modèles de calcul, Modèles finis et Complexité CMF'2007, May 2007, Vandoeuvre-lès-Nancy, France. ⟨hal-00607778⟩

Relational semantics and finite models of separation logics

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share