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 61 articles )

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

1 2 3 4 next

  1. Antoy, Sergio; Hanus, Michael: Transforming Boolean equalities into constraints (2017)
  2. Mesnard, Fred; Payet, Étienne; Vidal, Germán: Concolic testing in logic programming (2015)
  3. Møgelberg, Rasmus Ejlers; Staton, Sam: Linear usage of state (2014)
  4. Hanus, Michael: Functional logic programming: from theory to curry (2013)
  5. Phan, Quan; Janssens, Gerda; Somogyi, Zoltan: Region-based memory management for Mercury programs (2013)
  6. Romano, Paul K.; Siegel, Andrew R.; Forget, Benoit; Smith, Kord: Data decomposition of Monte Carlo particle transport simulations via tally servers (2013)
  7. Cussens, James: Online Bayesian inference for the parameters of PRISM programs (2012)
  8. Bone, Paul; Somogyi, Zoltan; Schachte, Peter: Estimating the overlap between dependent computations for automatic parallelization (2011)
  9. Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian: Dantzig-Wolfe decomposition and branch-and-price solving in G12 (2011)
  10. Wang, Peter; Somogyi, Zoltan: Minimizing the overheads of dependent AND-parallelism (2011)
  11. Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (2010)
  12. Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán: Type-based homeomorphic embedding for online termination (2009)
  13. Berghofer, Stefan; Bulwahn, Lukas; Haftmann, Florian: Turning inductive into equational specifications (2009)
  14. Degrave, François; Schrijvers, Tom; Vanhoof, Wim: Automatic generation of test inputs for Mercury (2009)
  15. Schrijvers, Tom; Bruynooghe, Maurice; Gallagher, John P.: From monomorphic to polymorphic well-typings and beyond (2009)
  16. Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán: Type-based homeomorphic embedding and its applications to online partial evaluation (2008)
  17. Degrave, François; Vanhoof, Wim: Towards a normal form for Mercury programs (2008)
  18. De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart: A flexible search framework for CHR (2008)
  19. Hermenegildo, Manuel V.; Bueno, Francisco; Carro, Manuel; López, Pedro; Morales, José F.; Puebla, German: An overview of the Ciao multiparadigm language and program development environment and its design philosophy (2008)
  20. Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark: The design of the zinc modelling language (2008)

1 2 3 4 next