Sciweavers

3786 search results - page 35 / 758
» Structure Comparison and Structure Patterns
Sort
View
FOSSACS
2006
Springer
15 years 3 months ago
A Logic of Reachable Patterns in Linked Data-Structures
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sag...
EKAW
2008
Springer
15 years 1 months ago
Analysing Ontological Structures through Name Pattern Tracking
Ondrej Sváb-Zamazal, Vojtech Svátek