swMATH8333MaRDI QIDQ20342FDOQ20342
Author name not available (Why is that?)
Official website: https://mercurylang.org/
Cited In (only showing first 100 items - show all)
- Turning Inductive into Equational Specifications
- Static and dynamic slicing of constraint logic programs
- Offline specialisation in Prolog using a hand-written compiler generator
- Dynamic predicates in functional logic programs
- Winnowing
- Precise goal-independent abstract interpretation of constraint logic programs.
- Region-based memory management for Mercury programs
- Towards Region-Based Memory Management for Mercury Programs
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Propagating systems of dense linear integer constraints
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
- Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
- The integration of functions into logic programming: From theory to practice
- Title not available (Why is that?)
- Inductive synthesis of recursive logic programs: achievements and prospects
- Transforming Boolean equalities into constraints
- A framework for timed concurrent constraint programming with external functions
- From Logic to Functional Logic Programs
- Termination and normalisation under strategy proofs in ELAN
- Title not available (Why is that?)
- Concolic testing in logic programming
- The design of the zinc modelling language
- Concolic testing in CLP
- A three-valued semantics for logic programmers
- Dantzig-Wolfe decomposition and branch-and-price solving in G12
- Linear usage of state
- HiLog
- Prolog
- wamcc
- Hiord
- KiCS2
- Curry
- Kernel-LEAF
- TeaBag
- YAP3
- DPPD
- G12
- TOY
- Ciao
- CiaoPP
- OpenRuleBench
- SICStus
- PAKCS
- FLORA
- XSB
- OpenMC
- Datafun
- Theseus
- KANREN
- miniKanren
- CHR
- ModGen
- Mercury
- Refal
- nofib
- PFLP
- infChecker
- Mercury$$^\mathrm{\textregistered }$$: A Software Based on Fuzzy Clustering for Computer-Assisted Composition
- CauDEr
- Flix
- Title not available (Why is that?)
- The witness properties and the semantics of the Prolog cut
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- Static Region Analysis for Mercury
- Data decomposition of Monte Carlo particle transport simulations via tally servers
- Proving semantic properties as first-order satisfiability
- Title not available (Why is that?)
- Title not available (Why is that?)
- Conjunctive partial deduction: foundations, control, algorithms, and experiments
- BearSSL
- Towards Typed Prolog
- Online Bayesian inference for the parameters of PRISM programs
- Logic program specialisation through partial deduction: Control issues
- Generalizing Def and Pos to Type Analysis
- Functional Logic Programming: From Theory to Curry
- Horn clauses as an intermediate representation for program analysis and transformation
- Program Development in Computational Logic
- Logic Programming
- Derivation of efficient logic programs by specialization and reduction of nondeterminism
- Algeo: an algebraic approach to reversibility
- Type-based homeomorphic embedding for online termination
- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
- Title not available (Why is that?)
- Algeo
- VeriFly
- Opium: an extendable trace analyzer for Prolog
- Automatic Generation of Test Inputs for Mercury
- From Monomorphic to Polymorphic Well-Typings and Beyond
- Using parametric set constraints for locating errors in CLP programs
- Verifying termination and error-freedom of logic programs with block declarations
- Minimizing the overheads of dependent AND-parallelism
- Title not available (Why is that?)
- Estimating the overlap between dependent computations for automatic parallelization
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards a Normal Form for Mercury Programs
- \(\exists\)-Universal termination of logic programs
- Towards the uniform implementation of declarative languages
- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
- Description and optimization of abstract machines in a dialect of Prolog
This page was built for software: Mercury
