MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Verified Prolog Compiler for the Warren Abstract Machine." – 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

A Verified Prolog Compiler for the Warren Abstract Machine
by David M. Russinoff — 1992 — Journal of Logic Programming
…A Verified Prolog Compiler for the Warren Abstract Machine David M. Russinoff Microelectronics…
Cited by 16 (0 self) – Add To MetaCart

List of Publications - Laboratory for Computational Linguistics
by Lcl Francez, N. Francez, E-type Pronouns, Donkey Anaphora
…. Russinoff. A verified Prolog compiler for the Warren Abstract Machine. Journal of Logic Programming, 13…
Add To MetaCart

An Abstract Machine for Unification Grammars
by Shalom Wintner — 1997
…. 1992. A verified Prolog compiler for the Warren Abstract Machine. Journal of Logic Programming, 13…
Cited by 9 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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