Mercury

MaRDI QIDQ20342swMATHFDO

Official website https://mercurylang.org/

Cited in

(only showing first 100 items - show all)

• ASPeRiX
• Winnowing
• Precise goal-independent abstract interpretation of constraint logic programs.
• PowerForms
• HiLog
• ObjectCurry
• LOGEN
• BABEL
• ECCE
• Static and dynamic slicing of constraint logic programs
• Prolog
• wamcc
• Hiord
• Online Bayesian inference for the parameters of PRISM programs
• KiCS2
• YAP3
• Algeo: an algebraic approach to reversibility
• TeaBag
• Curry
• Kernel-LEAF
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• TOY
• DPPD
• G12
• Proving semantic properties as first-order satisfiability
• Ciao
• CiaoPP
• Dantzig-Wolfe decomposition and branch-and-price solving in G12
• SICStus
• OpenRuleBench
• PAKCS
• XSB
• FLORA
• Transforming Boolean equalities into constraints
• Termination and normalisation under strategy proofs in ELAN
• scientific article; zbMATH DE number 1615253 (Why is no real title available?)
• scientific article; zbMATH DE number 1696777 (Why is no real title available?)
• scientific article; zbMATH DE number 1696867 (Why is no real title available?)
• A framework for timed concurrent constraint programming with external functions
• Minimizing the overheads of dependent AND-parallelism
• OpenMC
• Theseus
• Estimating the overlap between dependent computations for automatic parallelization
• Turning Inductive into Equational Specifications
• Datafun
• miniKanren
• KANREN
• CHR
• ModGen
• Dynamic predicates in functional logic programs
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
• Data decomposition of Monte Carlo particle transport simulations via tally servers
• An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• Static Region Analysis for Mercury
• A Flexible Search Framework for CHR
• Automatic Generation of Test Inputs for Mercury
• From Monomorphic to Polymorphic Well-Typings and Beyond
• Refal
• nofib
• PFLP
• Mercury
• The integration of functions into logic programming: From theory to practice
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Towards the uniform implementation of declarative languages
• infChecker
• scientific article; zbMATH DE number 1954106 (Why is no real title available?)
• scientific article; zbMATH DE number 1973216 (Why is no real title available?)
• The witness properties and the semantics of the Prolog cut
• Logic program specialisation through partial deduction: Control issues
• Using parametric set constraints for locating errors in CLP programs
• Generic program monitoring by trace analysis
• Verifying termination and error-freedom of logic programs with block declarations
• 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?)
• scientific article; zbMATH DE number 1497845 (Why is no real title available?)
• Generalizing Def and Pos to Type Analysis
• Horn clauses as an intermediate representation for program analysis and transformation
• Concolic testing in logic programming
• Description and optimization of abstract machines in a dialect of Prolog
• Opium: an extendable trace analyzer for Prolog
• scientific article; zbMATH DE number 1368925 (Why is no real title available?)
• scientific article; zbMATH DE number 2085272 (Why is no real title available?)
• scientific article; zbMATH DE number 1834571 (Why is no real title available?)
• scientific article; zbMATH DE number 2090544 (Why is no real title available?)
• Offline specialisation in Prolog using a hand-written compiler generator
• Functional Logic Programming: From Theory to Curry
• Inductive synthesis of recursive logic programs: achievements and prospects
• Conjunctive partial deduction: foundations, control, algorithms, and experiments
• A three-valued semantics for typed logic programming
• From Logic to Functional Logic Programs
• Concolic testing in CLP
• Mercury$$^\mathrm{\textregistered }$$: A Software Based on Fuzzy Clustering for Computer-Assisted Composition
• Region-based memory management for Mercury programs
• Linear usage of state
• Towards Region-Based Memory Management for Mercury Programs
• Logic Programming
• A three-valued semantics for logic programmers
• Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

This page was built for software: Mercury