MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Meta-Programming in CLP(R)." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Meta-Programming in CLP(R)
by Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap — 1994
…Meta--Programming in CLP(R) Nevin Heintze y Spiro Michaylov z Peter J. Stuckey x Roland H…
Cited by 4 (1 self) – Add To MetaCart

Constraint Logic Programming Applied to Model Checking
by Laurent Fribourg — 1999 — In Proc. 9th Int. Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), LNCS 1817
…. 4.2 Meta-Programming in CLP(R) A similar solution has been developed by Urbina [52, 51]. However…
Cited by 23 (0 self) – Add To MetaCart

A Conservative Approach to Meta-Programming in Constraint Logic Programming
by Pierre Lim And, Pierre Lim, Joachim Schimpf — 1993 — In PLILP
…. Thus to facilitate meta-programming CLP(R+M) provides the functions quote and eval and the following…
Add To MetaCart

WARREN, D.H.D. 1982b. "Perpetual Processes -- An Unexploited Prolog Technique", Short Communication,
by Logic Programming, Directions Object, Oriented Programming, P. Shriver, P. Wegner (eds
…, Jerusalem, MIT Press. HEINTZE, N., MICHAYLOV, S., STUCKEY, P., AND YAP, R. 1989. "On Meta Programming in CLP(R…
Add To MetaCart

Showing 1 through 4.

ATOM

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