MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Programming Language Implementation and Logic Programming" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 46 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • RML -- A New Language and Implementation for Natural Semantics  
  • by Mikael Pettersson Email, Mikael Pettersson — 1994 — Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP, volume 884 of LNCS
  • … paper presented at the 6th International Symposium on Programming Language Implementation and Logic…
  • Add To MetaCart
  • [Hanus 90] M.Hanus:  
  • by Compiling Logic Programs — 1991
  • … Language Implementation and Logic Programming (PLILP) 1990, LNCS 456, Springer Verlag 1990. [Hanus 91] M…
  • Add To MetaCart
  • Compiling Mercury to high-level C code  
  • by Fergus Henderson, Zoltan Somogyi — 2001 — Proceedings of the 2002 International Conference on Compiler Construction
  • … Abstract. Many logic programming implementations compile to C, but they compile to very low-level C…
  • Cited by 7 (4 self) – Add To MetaCart
  • A Portable Implementation of Memoing Evaluation  
  • by Jens Wunderwald Technische, Jens E. Wunderwald — 1995 — In LOPSTR 95
  • … on Programming Languages, Implementations, Logics and Programs, Utrecht (the Netherlands),1995 3 Adding Bottom…
  • Add To MetaCart
  • Publications in Program Development  
  • by June Journal, R. Barbuti, M. Codish, R. Giacobazzi, G. Levi, Modelling The, Journal Logic, P. Van Hentenryck, K. Marriott, H. Sondergaard Difference-list
  • … Language Implementation and Logic Programming, PLILP'93, Tallinn, Estonia, volume 714 of Lecture Notes…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB