Thomas Conway  Home/Search
Context Related
| cs.mu.oz.au/researc...conway_hons.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.mu.oz.au/research/mer...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a compiler for Mercury, a new purely declarative logic programming language designed to provide the support that groups of application programmers need when building large programs. Mercury requires programmers to provide type, mode and determinism declarations. The front end of the compiler uses the information in these declarations to catch many errors that would otherwise require tedious debugging. The back end uses novel techniques to generate efficient code by taking advantage... (Update)
Similar documents based on text: More All
0.4: Compiling Mercury to high-level C code - Henderson, Somogyi (2001) (Correct)
0.4: Constraint-Based Mode Analysis of Mercury - Overton, Somogyi, Stuckey (2002) (Correct)
0.4: Compiling logic programs to C using GNU C as a portable.. - Henderson, Conway, Somogyi (1995) (Correct)
Related documents from co-citation: More All
5: an efficient purely declarative logic programming language (context) - Somogyi, Henderson et al. - 1996
4: The Godel Programming Language (context) - Hill, Lloyd - 1994
3: The Art of Prolog (context) - Sterling, Shapiro - 1986
BibTeX entry: (Update)
Thomas Conway, Ferugus Henderson, and Zoltan Somgyi. Code generation for Mercury. In ILPS95, pages 245--256, 1995. http://citeseer.ist.psu.edu/conway94code.html More
@inproceedings{ conway95code,
author = "Thomas Conway and Fergus Henderson and Zoltan Somogyi",
title = "Code Generation for Mercury",
booktitle = "International Logic Programming Symposium",
pages = "242-256",
year = "1995",
url = "citeseer.ist.psu.edu/conway94code.html" }
Citations (may not include all citations):1399 Compilers: principles (context) - Aho, Sethi et al. - 1985
179 The Godel programming language (context) - Hill, Lloyd - 1994
109 A polymorphic type system for Prolog (context) - Mycroft, O'Keefe - 1984
70 Swedish Institute of Computer Science (context) - Carlsson, Widen et al. - 1988
46 Types in logic programming (context) - Pfenning - 1992
41 an efficient purely declarative logic programming language (context) - Somogyi, Henderson et al. - 1995
41 Department of Computer Science (context) - Thom, Zobel et al. - 1986
41 High performance Prolog implementation (context) - Taylor - 1991
41 an efficient purely declarative logic programming language (context) - Somogyi, Henderson et al. - 1994
38 High-performance logic programming with the Aquarius Prolog .. (context) - van Roy - 1992
18 A system of precise modes for logic programs (context) - Somogyi - 1987
17 An optimal algorithm for generating minimal perfect hash fun.. - Czech, Havas et al. - 1992
16 Do logic programs resemble programs in conventional language.. (context) - Drabent - 1987
12 A parallel logic programming system based on strong and prec.. (context) - Somogyi - 1989
12 Native code compilation in SICStus Prolog (context) - Haygood - 1994
12 Making control and data flow in logic programs explicit (context) - Smolka - 1984
11 Detection and optimisation of functional computations in Pro.. (context) - Debray, Warren - 1986
11 Notes on transformation techniques for generate and test log.. (context) - Seki, Furukawa - 1987
9 Strong modes can change the world - Henderson - 1993
7 Department of Social Science Informatics (context) - Wielemaker, manual
4 Stability of logic programs: how to connect don't-know nonde.. (context) - Somogyi - 1987
4 Cake: a fifth generation version of make (context) - Somogyi - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.mu.oz.au/research/mercury/information/papers.html): More
Code generation for Mercury - Conway, Henderson, Somogyi (1995) (Correct)
Compiling logic programs to C using GNU C as a portable.. - Henderson, Conway, Somogyi (1995) (Correct)
Determinism analysis in the Mercury compiler - Fergus Henderson (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC