Abstraction by symbolic indexing transformations
Symbolic indexing is a data abstraction technique that exploits the partially-ordered state space of symbolic trajectory evaluation (STE). Use of this technique has been somewhat limited in practice because of its complexity. We present logical machinery and efficient algorithms that provide a much...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Conference item |
| Έκδοση: |
Springer
2002
|
Search Result 1
