MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On termination of meta-programs." – 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

On Termination of Meta-Programs
by Alexander Serebrenik, Danny De Schreye — 2001 — Tech. Rep. cs.PL/0110035, The Computing Research Repository (CoRR). Available
…On termination of meta-programs Alexander Serebrenik Danny De Schreye Department of Computer…
Cited by 1 (0 self) – Add To MetaCart

aus
by Peter Schneider-kamp, Von Der Fakultät Für Mathematik, Informatik Und, Prof Dr, Jürgen Giesl, Prof Michael Codish
… using cuts and meta-programming. Automating Search by Encoding to SAT Analyzing the termination…
Add To MetaCart

Decidability of Logic Program Semantics and Applications to Testing
by Salvatore Ruggieri — 1996 — In Proc. of PLILP'96
… for [Q 1 ; : : : ; Qn ]. The next Theorem states the termination of the meta-program. Theorem 17. Let…
Cited by 8 (5 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB