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

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

1 2 3 next

  1. Antoy, Sergio; Hanus, Michael: Transforming Boolean equalities into constraints (2017)
  2. Møgelberg, Rasmus Ejlers; Staton, Sam: Linear usage of state (2014)
  3. Phan, Quan; Janssens, Gerda; Somogyi, Zoltan: Region-based memory management for Mercury programs (2013)
  4. Romano, Paul K.; Siegel, Andrew R.; Forget, Benoit; Smith, Kord: Data decomposition of Monte Carlo particle transport simulations via tally servers (2013)
  5. Cussens, James: Online Bayesian inference for the parameters of PRISM programs (2012)
  6. Bone, Paul; Somogyi, Zoltan; Schachte, Peter: Estimating the overlap between dependent computations for automatic parallelization (2011)
  7. Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian: Dantzig-Wolfe decomposition and branch-and-price solving in G12 (2011)
  8. Wang, Peter; Somogyi, Zoltan: Minimizing the overheads of dependent AND-parallelism (2011)
  9. Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (2010)
  10. Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán: Type-based homeomorphic embedding for online termination (2009)
  11. Degrave, François; Schrijvers, Tom; Vanhoof, Wim: Automatic generation of test inputs for Mercury (2009)
  12. Degrave, François; Vanhoof, Wim: Towards a normal form for Mercury programs (2008)
  13. 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)
  14. Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark: The design of the zinc modelling language (2008)
  15. Leuschel, Michael; Craig, Stephen-John; Elphick, Dan: Supervising offline partial evaluation of logic programs using online techniques (2007)
  16. Phan, Quan; Janssens, Gerda: Static region analysis for Mercury (2007)
  17. Casas, Amadeo; Cabeza, Daniel; Hermenegildo, Manuel V.: A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems (2006)
  18. Clark, K.L.; McCabe, F.G.: Ontology oriented programming in go! (2006) ioport
  19. Naish, Lee: A three-valued semantics for logic programmers (2006)
  20. Phan, Quan; Janssens, Gerda: Towards region-based memory management for Mercury programs (2006)

1 2 3 next