Mercury

Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.


References in zbMATH (referenced in 68 articles )

Showing results 1 to 20 of 68.
Sorted by year (citations)

1 2 3 4 next

  1. Mesnard, Fred; Payet, Étienne; Vidal, Germán: Concolic testing in CLP (2020)
  2. Lucas, Salvador: Proving semantic properties as first-order satisfiability (2019)
  3. Martínez-Rodríguez, Brian; Liern, Vicente: Mercury(^\circledR): a software based on fuzzy clustering for computer-assisted composition (2019)
  4. Antoy, Sergio; Hanus, Michael: Transforming Boolean equalities into constraints (2017)
  5. Morales, José F.; Carro, Manuel; Hermenegildo, Manuel: Description and optimization of abstract machines in a dialect of Prolog (2016)
  6. Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: Horn clauses as an intermediate representation for program analysis and transformation (2015)
  7. Mesnard, Fred; Payet, Étienne; Vidal, Germán: Concolic testing in logic programming (2015)
  8. Møgelberg, Rasmus Ejlers; Staton, Sam: Linear usage of state (2014)
  9. Hanus, Michael: Functional logic programming: from theory to Curry (2013)
  10. Phan, Quan; Janssens, Gerda; Somogyi, Zoltan: Region-based memory management for Mercury programs (2013)
  11. Romano, Paul K.; Siegel, Andrew R.; Forget, Benoit; Smith, Kord: Data decomposition of Monte Carlo particle transport simulations via tally servers (2013)
  12. Cussens, James: Online Bayesian inference for the parameters of PRISM programs (2012)
  13. Bone, Paul; Somogyi, Zoltan; Schachte, Peter: Estimating the overlap between dependent computations for automatic parallelization (2011)
  14. Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian: Dantzig-Wolfe decomposition and branch-and-price solving in G12 (2011)
  15. Wang, Peter; Somogyi, Zoltan: Minimizing the overheads of dependent AND-parallelism (2011)
  16. Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (2010)
  17. Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán: Type-based homeomorphic embedding for online termination (2009)
  18. Berghofer, Stefan; Bulwahn, Lukas; Haftmann, Florian: Turning inductive into equational specifications (2009)
  19. Degrave, François; Schrijvers, Tom; Vanhoof, Wim: Automatic generation of test inputs for Mercury (2009)
  20. Feydy, Thibaut; Stuckey, Peter J.: Propagating systems of dense linear integer constraints (2009)

1 2 3 4 next