“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 334 — #344
i
i
i
i
i
i
i
i
334
Bibliographie
[92] SUN MICROSYSTEMS , The Java series, Sun Microsystems, Mountain View, CA,
1996, Available at www.javasoft.com.
[93] SZYPERSKI C., Component software : Beyond object-oriented programming,
Addison-Wesley and ACM Press, 1999.
[94] VAN ROY P., « Can logic programming execute as fast as imperative programming ? », PhD Thesis, Computer Science Division, University of California at
Berkeley, 1990, Technical Report UCB/CSD 90/600.
[95] VAN ROY P., BRAND P., DUCHIER D., HARIDI S., HENZ M. & SCHULTE
C., « Logic programming in the context of multiparadigm programming : The
Oz experience », Theory and Practice of Logic Programming 3 (2003), no. 6,
p. 715-763.
[96] VAN ROY P. & DESPAIN A., « High-performance logic programming with the
Aquarius Prolog compiler », IEEE Computer (1992), p. 54-68.
[97] VAN ROY P. & HARIDI S., Concepts, techniques, and models of computer programming, MIT Press, 2004.
[98] WILF H. S., generatingfunctionology, Academic Press, 1994.
[99] WINSKEL G., The formal semantics of programming languages, Foundations of
Computing Series, MIT Press, Cambridge, MA, 1993.