Compiling mercury to the .NET common language runtime

Electronic Notes in Theoretical Computer Science

Volumn 59, Issue 1, 2001, Pages 73-88

  Dowd, Tyson ^a   Henderson, Fergus ^a   Ross, Peter ^b  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b Mission Critical ^*  (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

.NET; COMMON LANGUAGE RUNTIME (CLR); DECLARATIVE LOGIC; FUNCTIONAL PROGRAMMING LANGUAGES; MULTI-LANGUAGE INTEROPERATION;

CODES (SYMBOLS); DATA REDUCTION; INTERFACES (COMPUTER); INTEROPERABILITY; LIBRARIES; LOGIC PROGRAMMING; PROGRAM COMPILERS; VIRTUAL REALITY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0005283004     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80757-1     Document Type: Conference Paper

References (13)

1. R. Becket. Mercury tutorial, 1999. Available from http://www.cs.mu.oz.au/ research/mercury/tutorial
2. Benton N., Kennedy A. Interlanguage working without tears: Blending SML with Java. International Conference on Functional Programming. 1999;126-137
3. Benton N., Kennedy A., Russell G. Compiling Standard ML to Java bytecodes. Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98). volume 34:(1):1999;129-140
4. Boehm H., Weiser M. Garbage collection in an uncooperative environment. Software Practice and Experience. 18:1988;807-820
5. Conway T., Somogyi Z. Deep profiling: engineering a profiler for a declarative programming language. Technical Report, 2001/24, Department of Computer Science. July 2001;The University of Melbourne, Melbourne, Australia
6. Dowd T., Somogyi Z., Henderson F., Conway T., Jeffery D. Run time type information in Mercury. Proceedings of the 1999 International Conference on the Principles and Practice of Declarative Programming. September 1999;224-243. Paris, France
7. Henderson F. Compiling Mercury to high-level C code. Submitted for publication; available from the author on request. June 2001
8. Henderson F., Conway T., Somogyi Z. Compiling logic programs to C using GNU C as a portable assembler. ILPS'95 Post conference Workshop on Sequential Implementation Technologies for Logic Programming. 1995;1-15. Portland, Oregon
9. Henderson F., Conway T., Somogyi Z., Jeffery D., Schachte P., Taylor S., Speirs C. The Mercury language reference manual. Available from http://www.cs.mu.oz.au/mercury/. 1995;. 2001
10. Henderson F., Somogyi Z., Conway T. Determinism analysis in the Mercury compiler. Proceedings of the Australian Computer Science Conference. January 1996;337-346. Melbourne, Australia
11. Microsoft. Microsoft.NET. http://www.microsoft.com/net/.
12. Somogyi Z., Henderson F., Conway T. The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming. 1997
13. Tarau P. Intelligent mobile agent programming at the intersection of Java and Prolog. Proceedings of The Fourth International Conference on The Practical Application of Intelligent Agents and Multi-Agents. 1999;109-123. London, U.K.