Searching for "On the Correctness of the Replacement Operation for CLP Modules." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

On the Correctness of the Replacement Operation for CLP Modules
by Sandro Etalle, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, H. Kuchen, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, F. Silbermann, P. Van, Hentenryck D. S. Warren — 1996
… we study optimizations based on the replacement operation for CLP modules. We provide some natural…
Cited by 4 (3 self) – Add To MetaCart

Showing 1 through 1.

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