Non-discriminating arguments and their uses

DOI10.1007/978-3-642-02846-5_10zbMATH Open1251.68055OpenAlexW1518458436MaRDI QIDQ4649724FDOQ4649724

Authors: Henning Christiansen, John P. Gallagher 

Publication date: 13 November 2012

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://rucforsk.ruc.dk/ws/files/3785948/paper.pdf

Recommendations

• Programming Languages and Systems
• Transformations of logic programs with goals as arguments
• A backward slicing algorithm for Prolog
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• scientific article; zbMATH DE number 3956406

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Depth-First Search and Linear Graph Algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program Slicing
• Control generation by program transformation
• Title not available (Why is that?)
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Title not available (Why is that?)
• Programming Languages and Systems
• Searching Semantically Equivalent Code Fragments in Logic Programs

Cited In (2)

• Inference with constrained hidden Markov models in PRISM
• The PITA system: tabling and answer subsumption for reasoning under uncertainty

This page was built for publication: Non-discriminating arguments and their uses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649724)