Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

TLDI
2003
ACM

favoriteEmaildiscussreport

115views Formal Methods» more TLDI 2003»

Deciding validity in a spatial logic for trees

13 years 9 months ago

Deciding validity in a spatial logic for trees

Download lucacardelli.name

Cristiano Calcagno, Luca Cardelli, Andrew D. Gordo

Real-time Traffic

Formal Methods | TLDI 2003 |

claim paper

Related Content

» Spatial Tree Logics to reason about Semistructured Data

» On Spatial Conjunction as SecondOrder Logic

» Conceptual modeling in full computationtree logic with sequence modal operator

» Context logic and tree update

» XML transformation by treewalking transducers with invisible pebbles

» On Logics of Aliasing

» Typestate Checking and Regular Graph Constraints

Post Info
More Details (n/a)

Added	05 Jul 2010
Updated	05 Jul 2010
Type	Conference
Year	2003
Where	TLDI
Authors	Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon

Comments (0)