Results 1 to 10 of about 404,024 (225)
The execution algorithm of mercury, an efficient purely declarative logic programming language
The Journal of Logic Programming, 1996 Summary: We introduce Mercury, a new purely declarative logic programming language designed to provide the support that groups of application programmers need when building large programs. Mercury's strong type, mode, and determinism systems improve program reliability by catching many errors at compile time.
Somogyi, Zoltan +2 more
semanticscholar +3 more sources
Automatic Parallelism in Mercury [PDF]
International Conference on Logic Programming, 2011 Our project is concerned with the automatic parallelization of Mercury programs. Mercury is a purely-declarative logic programming language, this makes it easy to determine whether a set of computations may be performed in parallel with one-anther ...
Bone, Paul
core +2 more sources
Percolation modeling of hydraulic hysteresis in a porous media [PDF]
Компьютерные исследования и моделирование, 2014 In this paper we consider various models of hydraulic hysteresis in invasive mercury porosimetry. For simulating the hydraulic hysteresis is used isotropic site percolation on three-dimensional square lattices with $(1,\,\pi)$-neighborhood.
Pavel Valentinovich Moskalev
doaj +1 more source
An elementary approach to simulating the perihelion of Mercury
European journal of physics, 2023 The relativistic correction to the precession of the perihelion of Mercury provided key evidence for the accuracy of general relativity as a theory of gravity.
Hollis Williams
semanticscholar +1 more source
What can the programming language Rust do for astrophysics? [PDF]
Proceedings of the International Astronomical Union, 2016 The astrophysics community uses different tools for computational tasks such as complex systems simulations, radiative transfer calculations or big data. Programming languages like Fortran, C or C++ are commonly present in these tools and, generally, the
Sergi Blanco-Cuaresma, É. Bolmont
semanticscholar +1 more source
Global Mercury Footprint Evaluation using a Geographical Pollutant Propagation Model
Chemical Engineering Transactions, 2020 This work presents a method for the accurate evaluation of the footprint of chemical pollutants on a global scale. An extension of the standard pollution propagation models is proposed to calculate the chemical footprint efficiently.
Anna Makarova +2 more
doaj +1 more source
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury [PDF]
International Conference on Logic Programming, 2001 Compile-time garbage collection (CTGC) is still a very uncommon feature within compilers. In previous work we have developed a compile-time structure reuse system for Mercury, a logic programming language.
Nancy Mazur +3 more
semanticscholar +1 more source
Testing Reliable Distributed Applications Through Simulated Events [PDF]
, 1989 There are many distributed applications that incorporate application-specific reliability algorithms which operate on top of general purpose networking, operating system and programming language facilities.
Kaiser, Gail E., Winfrey, Travis L.
core +2 more sources
PC-CUBE: A Personal Computer Based Hypercube [PDF]
, 1988 PC-CUBE is an ensemble of IBM PCs or close compatibles connected in the hypercube topology with ordinary computer cables. Communication occurs at the rate of 115.2 K-band via the RS-232 serial links.
Breaden, Matt +7 more
core +2 more sources