Mercury

swMATH8333MaRDI QIDQ20342FDOQ20342

Author name not available (Why is that?)

Cited In (71)

• Verifying termination and error-freedom of logic programs with block declarations
• Title not available (Why is that?)
• \(\exists\)-Universal termination of logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Description and Optimization of Abstract Machines in a Dialect of Prolog
• Turning Inductive into Equational Specifications
• Static and dynamic slicing of constraint logic programs
• 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
• Precise goal-independent abstract interpretation of constraint logic programs.
• Region-based memory management for Mercury programs
• Concolic Testing in CLP
• Towards Region-Based Memory Management for Mercury Programs
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• Using parametric set constraints for locating errors in CLP programs
• Minimizing the overheads of dependent AND-parallelism
• Propagating systems of dense linear integer constraints
• Title not available (Why is that?)
• 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
• Estimating the overlap between dependent computations for automatic parallelization
• Title not available (Why is that?)
• Inductive synthesis of recursive logic programs: achievements and prospects
• Transforming Boolean equalities into constraints
• Title not available (Why is that?)
• Towards a Normal Form for Mercury Programs
• A framework for timed concurrent constraint programming with external functions
• Towards the uniform implementation of declarative languages
• An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
• 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
• A three-valued semantics for logic programmers
• Dantzig-Wolfe decomposition and branch-and-price solving in G12
• Linear usage of state
• A Flexible Search Framework for CHR
• Mercury$$^\mathrm{\textregistered }$$: A Software Based on Fuzzy Clustering for Computer-Assisted Composition
• 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
• Title not available (Why is that?)
• 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?)
• Title not available (Why is that?)
• Conjunctive partial deduction: foundations, control, algorithms, and experiments
• Generic program monitoring by trace analysis
• 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
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
• Type-based homeomorphic embedding for online termination
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• Title not available (Why is that?)

This page was built for software: Mercury