Mercury
From MaRDI portal
Cited in
(only showing first 100 items - show all)- 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
- scientific article; zbMATH DE number 2085272 (Why is no real title available?)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism
- BearSSL
- Horn clauses as an intermediate representation for program analysis and transformation
- Program Development in Computational Logic
- Logic Programming
- Type-based homeomorphic embedding for online termination
- Algeo: an algebraic approach to reversibility
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
- scientific article; zbMATH DE number 1615253 (Why is no real title available?)
- Static and dynamic slicing of constraint logic programs
- Turning Inductive into Equational Specifications
- Offline specialisation in Prolog using a hand-written compiler generator
- Opium: an extendable trace analyzer for Prolog
- Automatic Generation of Test Inputs for Mercury
- From Monomorphic to Polymorphic Well-Typings and Beyond
- Dynamic predicates in functional logic programs
- 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
- Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
- 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
- scientific article; zbMATH DE number 1973216 (Why is no real title available?)
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
- The integration of functions into logic programming: From theory to practice
- Estimating the overlap between dependent computations for automatic parallelization
- scientific article; zbMATH DE number 1954106 (Why is no real title available?)
- Inductive synthesis of recursive logic programs: achievements and prospects
- scientific article; zbMATH DE number 2090544 (Why is no real title available?)
- Transforming Boolean equalities into constraints
- scientific article; zbMATH DE number 1497845 (Why is no real title available?)
- Towards a Normal Form for Mercury Programs
- \(\exists\)-Universal termination of logic programs
- A framework for timed concurrent constraint programming with external functions
- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
- Termination and normalisation under strategy proofs in ELAN
- Towards the uniform implementation of declarative languages
- From Logic to Functional Logic Programs
- scientific article; zbMATH DE number 7453101 (Why is no real title available?)
- Description and optimization of abstract machines in a dialect of Prolog
- The design of the zinc modelling language
- Concolic testing in logic programming
- ASPeRiX
- HiLog
- PowerForms
- ObjectCurry
- LOGEN
- BABEL
- ECCE
- 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
- CauDEr
- Flix
- Concolic testing in CLP
- Dantzig-Wolfe decomposition and branch-and-price solving in G12
- A three-valued semantics for logic programmers
- scientific article; zbMATH DE number 1497826 (Why is no real title available?)
- scientific article; zbMATH DE number 1497834 (Why is no real title available?)
- scientific article; zbMATH DE number 1497843 (Why is no real title available?)
- Linear usage of state
- A Flexible Search Framework for CHR
- Mercury$$^\mathrm{\textregistered }$$: A Software Based on Fuzzy Clustering for Computer-Assisted Composition
This page was built for software: Mercury
