Etienne Lozes  Home/Search
Context
Related
| perso.enslyon.fr/etienne.l...tcs.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: perso.enslyon.fr/etienn...publis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The recent interest for specification on resources yields so-called spatial logics, that is specification languages o#ering new forms of reasoning: the local reasoning through the separation of the resource space into two disjoint subspaces, and the contextual reasoning through hypothetical extension of the resource space. We consider two resource models and their related logics: . (Update)
Active bibliography (related documents): More All
0.8: Elimination of Quantifiers and Undecidability in Spatial Logics .. - Caires, al. (2004) (Correct)
0.4: On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
0.4: A Logic You Can Count On - Zilio, Lugiez, Meyssonnier (2004) (Correct)
Similar documents based on text: More All
0.7: Separability, Expressiveness, and Decidability in the.. - Hirschkoff, Lozes.. (Correct)
0.3: Separation Logic Preserves the Expressive Power of Classical Logic - Lozes (Correct)
0.2: Factorizing Multivariate Polynomials Over Finite Fields - Lozes (Correct)
BibTeX entry: (Update)
@misc{ lozes-elimination,
author = "Etienne Lozes",
title = "Elimination of Spatial Connectives in Static Spatial Logics",
url = "citeseer.ist.psu.edu/article/lozes04elimination.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969
410 Mobile Ambients - Cardelli, Gordon - 1998
118 A Spatial Logic for Concurrency - Caires, Cardelli - 2001
111 Separation logic: a logic for shared mutable data structures.. - Reynolds - 2002
88 Intuitionistic reasoning about shared mutable data structure - Reynolds - 2000
66 A new approach to abstract syntax involving binders - Gabbay, Pitts - 1999
62 Modal Logics for Mobile Ambients (context) - Cardelli, Gordon et al. - 2000
47 Logical Properties of Name Restriction (context) - Cardelli, Gordon - 2044
42 A Query Language Based on the Ambient Logic - Cardelli, Ghelli - 2028
38 Deciding Validity in a Spatial Logic for Trees - Calcagno, Cardelli et al. - 2003
35 Extensionality and Intensionality of the Ambient Logic - Sangiorgi - 2001
24 Manipulating trees with hidden labels (context) - Cardelli, Gardner et al. - 2003
20 The Decidability of Model Checking Mobile Ambients - Charatonik, Talbot - 2001
20 Computability and Complexity Results for a Spatial Assertion.. - Calcagno, Yang et al. - 2001
17 Local Reasoning for Stateful programs (context) - Yang - 2001
12 Expressiveness and Decidability in the Ambients Logic (context) - Hirschko, Lozes et al. - 2002
7 undecidability of revelation (context) - Ghelli, Conforti et al. - 2004
4 A Logic You Can Count (context) - Lugiez, Dal-Zilio et al. - 2004
3 Elimination of quantifiers and undecidability in spatial log.. - Caires, Lozes
Documents on the same site (http://perso.ens-lyon.fr/etienne.lozes/Publis/publis.html): More
Separation Logic Preserves the Expressive Power of Classical Logic - Lozes (Correct)
Elimination of Quantifiers and Undecidability in Spatial.. - Caires, Lozes (2004) (Correct)
Separability, Expressiveness, and Decidability in the.. - Hirschkoff, Lozes.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC