
	Where results make sense

Topic: Mercury programming language

Related Topics

Logic programming

Ada programming language

Ravenscar Profile

Strongly typed languages

Prolog

Data type

Jean Ichbiah

GNU Compiler Collection

Smalltalk programming language

Melbourne (disambiguation)

Free software

Concurrent Versions System

Gnat

Gestalt

Mac OS X

	Misc
		Mercury - is a new, purely declarative logic programming language.
		One way of placing it in the "space of languages" is to say that it aims to be as efficient as C, C++, or Fortran, as elegant as and safer than Eiffel, and support higher-order functions and iteration abstraction as well as Common Lisp, CLU or Scheme.
		YAFL Programming Language - is a middle term research project which covers the design and the implementation of a new object-oriented language, as well as several attached programming tools.
	www.geocities.com /SiliconValley/Heights/6121/misc.html (3704 words)

	Logic programming - Encyclopedia.WorldSearch (Site not responding. Last check: 2007-11-06)
		Logic programming is a declarative programming paradigm in which a set of attributes that a solution should have are specified rather than set of steps to obtain such a solution.
		A related paradigm is inductive logic programming, which is concerned with finding general rules based on a sample of facts.
		The point of logic programming is to bring the style of formal logic to computer programming.
	encyclopedia.worldsearch.com /logic_programming.htm (445 words)

	The Mercury Language Reference Manual - Introduction (Site not responding. Last check: 2007-11-06)
		Mercury is a new general-purpose programming language, designed and implemented by a small group of researchers at the University of Melbourne, Australia.
		Mercury is based on the paradigm of purely declarative programming, and was designed to be useful for the development of large and robust "real-world" applications.
		Mercury provides the traditional logic programming syntax, but also allows the syntactic convenience of user-defined functions, smoothly integrating logic and functional programming into a single paradigm.
	www.mercury.cs.mu.oz.au /information/doc-latest/reference_manual_1.html (356 words)

	Generational list of programming languages - Wikipedia, the free encyclopedia
		Here, a genealogy of programming languages is shown.
		Languages should be categorized under the ancestor language with the strongest influence.
		Of course, any such categorization has a large arbitrary element, since programming languages often incorporate major ideas from multiple sources.
	en.wikipedia.org /wiki/Generational_list_of_programming_languages (84 words)

	Programming languages (Site not responding. Last check: 2007-11-06)
		Mercury is a polymorphic logic/functional language with controlled side effects supporting static declaration of modes and determinism for logical predicates.
		Cayenne is a programming language with dependent types; type checking in Cayenne is undecidable (i.e., the checker may not terminate), but the system is extremely expressive.
		Scala is a concurrent, object-oriented, functional language with a special focus on web services, and designed as a successor to Funnel, a language based on the Join calculus which combines FP with Petri nets.
	www.cs.uu.nl /~franka/lang (1583 words)

	Optimization of Mercury programs - Taylor (ResearchIndex) (Site not responding. Last check: 2007-11-06)
		Abstract: The pure logic programming language Mercury is very well suited to the development of sophisticated program transformations due to its clean semantics and strong type, mode and determinism systems.
		The superhomogeneous form [11] of the code, as generated by the Mercury compiler except with meaningful variable names, is as follows, with...
		Compiling logic programs to C using GNU C as a portable..
	citeseer.ist.psu.edu /taylor98optimization.html (790 words)

	Additional Reading (from Mercury) -- Encyclopædia Britannica
		Mercury is also the name given to the planet that orbits closest to the sun (see Planets).
		In such societies written language is the chief means of transmitting culture and the benefits of civilization...
		Mercury and Venus are the first two planets from the Sun and are the most similar to Earth.
	www.britannica.com /eb/article-54176?tocId=54176 (964 words)

	Mercury article - Mercury Mercury (mythology) Roman Freddie Mercury rock music Queen Mercury - What-Means.com (Site not responding. Last check: 2007-11-06)
		Mercury dime — a coin preceding the current dime in the United States
		Mercury, France — a commune in the Savoie département of France
		Mercury program — in astronomy, an early American program for exploring outer space
	www.what-means.com /encyclopedia/Mercury (258 words)

	Programming languages
		Other languages claim to be visual, but Prograph ["PROGRAmming GRAPHically"] is a truly visual programming language, in which the diagrams and flowcharts that describe what the program does are the program.
		This is the language that literally put a man on the moon, and some of the features it developed in the process of that project (and other less glamorous ones) have yet to be duplicated in other, more "modern" languages.
		It's a low-level language in the sense that it allows the programmer to control things that are often left to the operating system, like memory management, concurrent processing, loading changes to the program while it's running, etc...
	microsoft.toddverbeek.com /lang.html (3151 words)

	Ulf's Programming Language List
		ASL (Activity Structures Language), a software process language (modelling formalism), is a proper superset of MSL (Marvel Strategy Language) -- used to express the "local" constraints and policies on individual tools and data -- extended by Roddle's "acticivity structures" for global control flow and synchronization.
		Mozart is based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part of a coherent whole.
		Cyclone is a programming language that is as C-like as possible while preventing unsafe behavior (buffer overflows, dangling pointers, format string attacks, and so on).
	www.cs.mun.ca /~ulf/pld/pls.html (2275 words)

	Mercury - Simple English Wikipedia
		Mercury, the first planet from the Sun in our solar system.
		Mercury, France, a commune in the Savoie département of France.
		This is a disambiguation page — a helping aid which lists other pages with similar names.
	simple.wikipedia.org /wiki/Mercury (132 words)

	Language list (Site not responding. Last check: 2007-11-06)
		C is often described, with a mixture of fondness and disdain varying according to the speaker, as "a language that combines all the elegance and power of assembly language with all the readability and maintainability of assembly language".
		ICI is a programming language with a dynamic, object based data model with the flow control constructs and operators of C. It is designed for use in many environments, including embedded systems, as an adjunct to other programs and as a text based interface to compiled libraries.
		RPG (Report Program Generator) is a programming language that originated as a report-building program used in DEC and IBM minicomputer operating systems and evolved into a fully procedural programming language.
	home.nvg.org /~sk/lang/lang.html (5710 words)

	[No title] (Site not responding. Last check: 2007-11-06)
		Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.
		Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
		Keywords: mercury, programming language, logic, functional, declarative Author: mercury@cs.mu.oz.au (The Mercury Team) Maintained-by: mercury@cs.mu.oz.au (The Mercury Team) Primary-site: sunsite.unc.edu /pub/linux/devel/lang/mercury 1415 mercury-compiler.lsm 15.6MB mercury-compiler-0.11.0.tar.gz Original-site: ftp.mercury.cs.mu.oz.au /pub/mercury 15.6MB mercury-compiler-0.11.1.tar.gz Platforms: i386, PPC, Sparc, Alpha (others possible but untested with Linux), gcc 2.6.3 or higher, GNU make 3.69 or higher Copying-policy: GPL+LGPL End
	www.ibiblio.org /pub/Linux/devel/lang/mercury/mercury-compiler-0.11.0.lsm (125 words)

	Compiler Research Projects University Language and Compiler Research
		The implementations might be interpretive, using the constructs of the source language to invoke operations of an existing system, or might involve translation to an arbitrary target language.
		The Mercury project is focused on the design and implementation of a new declarative logic/functional programming language, Mercury.
		The project has involved developement of an optimizing compiler for Mercury; the compiler takes advantage of the high-level declarative nature of Mercury to perform some quite high-level transformations, as well as using a considerable amount of static analysis to improve the low-level efficiency of the generated code.
	www.compilerconnection.com /research/research.htm (1698 words)

	LtU Classic Archives
		Mercury is a Logic language that doubles as a Functional Programming language.
		As with most of the languages I study, I used the shapes example to try to get a handle on the type and class mechanisms within the language (mercury version).
		The Functional and Logic programming languages like Haskell, Mercury, Erlang and Prolog don't have the notion of mutable variables like most standard OOP languages (which have their roots in the imperative world).
	lambda-the-ultimate.org /classic/message1200.html (1412 words)

	Mercury (Site not responding. Last check: 2007-11-06)
		Mercury (computer), developed in the early 1950s by Ferranti and University of Manchester computing department.
		Mercury dime, a coin preceding the current dime in the United States.
		Mercury, the Winged Messenger is a movement in Gustav Holst's The Planets suite.
	www.worldhistory.com /wiki/M/Mercury.htm (296 words)

	The Mercury Project: Introduction (Site not responding. Last check: 2007-11-06)
		Logic programming languages have been around for more than twenty years.
		Despite the expected advantages of a very high level programming language based upon well developed theories of logic over conventional programming languages (such as C, C++, Pascal and Ada) they have not had significant impact on the computer industry.
		Two new papers titled "Divide-and-query and subterm dependency tracking in the Mercury declarative debugger" and "The implementation of minimal model tabling in Mercury (extended abstract)" are now available from our papers page.
	www.cs.mu.oz.au /research/mercury (248 words)

	NewsForge \| This week in DotGNU
		Mercury has some unique requirements when it comes to linking, and Microsoft's linker doesn't do a very good job of handling those requirements.
		It will be a real coup for us if we can get Mercury working with our system, because it was one of the non-C# languages that Microsoft paid to be ported to.NET as part of their CLR development project.
		Currently the only language into which "This week in DotGNU" is translated is Polish, see http://7thGuard.net/news.php?id=1121 "This week in DotGNU" is Copyright (C) 2001 by Norbert Bollow.
	www.newsforge.com /newsvac/01/11/03/0034222.shtml (548 words)

	JC's Project Suggestions 2004-05
		The central goal of this project is to evaluate the logic programming language Mercury as a language for implementing natural language chart parsers.
		The Mercury language is a logic programming language whose proponents claim that it overcomes many of the deficiencies of Prolog.
		Mercury is a 'pure' logic programming language which is also very efficient since Mercury source is compiled to very low-level C which in turn is compiled into the executable.
	www-users.cs.york.ac.uk /~jc/projects2005.html (1526 words)

	DylanLanguage - Doug Auclair (Site not responding. Last check: 2007-11-06)
		A guy who looks at programming as the act of transformation, so particularly interested in compiler (and compiler compiler) design and implementation (which is arguably every problem addressed by software).
		Now studying declarative (logic) programming (Dylan's Meta library and the Mercury programming language).
		Writing a simple-minded improvement to the Mercury programming language that allows a more natural declaration and use of infix syntax.
	monday.sourceforge.net /wiki/index.php/DougAuclair (209 words)

	Research and Delivery (Site not responding. Last check: 2007-11-06)
		This style of programming is surprising different from traditional imperative programming methods, but, when used effectively, yields powerful results in expressing the problem and the solution in one pass.
		There are several areas of research in the declarative programming community, including inductive logic programming (ILP), where system build rules from making inferences from a provided data set, and Definite Clause Grammars (DCG), an effective system for building scanning/parsing systems and related systems.
		The Mercury programming language is a typed, pure, logic programming system very similar to Prolog (its type system is similar to that of the Haskell programming language).
	www.cotilliongroup.com /code/research.htm (1157 words)

	The Mercury User's Guide - Foreign language interface (Site not responding. Last check: 2007-11-06)
		The Mercury foreign language interfaces allows pragma foreign_proc to specify multiple implementations (in different foreign programming languages) for a procedure.
		If the compiler generates code for a procedure using a back-end for which there are multiple applicable foreign languages, it will choose the foreign language to use for each procedure according to a builtin ordering.
		If the language specified in a foreign_proc is not available for a particular backend, it will be ignored.
	www.mercury.cs.mu.oz.au /information/doc-latest/user_guide_13.html (246 words)

	New Page 1 (Site not responding. Last check: 2007-11-06)
		Object Oriented Turing (OOT) - an advanced objected oriented programming language, which is strongly typed, has extensive run-time checking, and features a standard library that is emphasizes interplatform software compatibility.
		Pike - dynamic programming language with a syntax similar to C. Doesn't require compilation and has powerful data types.
		Programming Languages - offers information about various types of languages.
	www.clickandsearch.com /links/computers&internet/programlang.shtml (453 words)

	Green Hat Journal: Mercury (Site not responding. Last check: 2007-11-06)
		Finally, Mercury rightly disposes of assert/retract and tells the user to use a data structure instead.
		Overall, a very fine language with an excellent native compiler.
		The execution algorithm of Mercury, an efficient purely...
	rover.cs.northwestern.edu /~surana/blog/past/000183.html (177 words)

	Rapid Prototyping using Formal Specifications (Site not responding. Last check: 2007-11-06)
		Formal specifications in a non-executable language offer challenges for animation systems, for example, dealing effectively with infinite data sets, sensibly animating functions which are not computable and determining a sensible set of inputs and outputs for arbitrary relations.
		In this paper we examine these issues in the context of animating Z specifications in the logic programming language Mercury.
		We present analysis algorithms for deriving control (mode) and representation (subtype) information and show how these analyses are used in a tool for deriving Mercury programs from Z specifications.
	goanna.cs.rmit.edu.au /~winikoff/pipe/acsc/main.html (154 words)

Try your search on: Qwika (all wikis)