MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Calculating with pointer structures." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Programs with Recursively Defined Data Structures Using Pointers
by M. Sagiv, M. Schwartzbach, K. Weihe, K. Melhorn, M. Sagiv (tel Aviv, M. Schwartzbach (aarhus, K. Weihe (konstanz, K. Mehlhorn (saarbrucken — 1998
… 9:55--10:15 Co#ee Break 10:15--11:05 Bernhard Moller: Calculating with Pointer Structures 11…
Add To MetaCart

Case Studies For The Derivation Of Pointer Algorithms
by Copyright C Thorsten Ehm, Thorsten Ehm, Thorsten Ehm, Universität Augsburg, Universität Augsburg, Universität Augsburg — 2003
… concise algebraic toolbox to describe and calculate with pointer structures but on the other hand…
Cited by 1 (1 self) – Add To MetaCart

Semantic and Logical Properties of Stateful Programming
by Cristiano Calcagno, Walid Taha — 2002
… Science. Springer Verlag, 1998. B. Moller. Calculating with pointer structures. In Proceedings…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB