ECCE

swMATH4196MaRDI QIDQ16380FDOQ16380

Author name not available (Why is that?)

Cited In (62)

• Ecce—a problem‐solving environment's evolution toward Grid services and a Web architecture
• Functional and Logic Programming
• Anti-unification in Constraint Logic Programming
• Program Development in Computational Logic
• Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
• Regular tree languages as an abstract domain in program specialisation
• Offline specialisation in Prolog using a hand-written compiler generator
• Fast offline partial evaluation of logic programs
• The narrowing-driven approach to functional logic program specialization
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Title not available (Why is that?)
• Efficient Local Unfolding with Ancestor Stacks for Full Prolog
• Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
• Program Development in Computational Logic
• Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation
• Title not available (Why is that?)
• Termination of floating-point computations
• Term Rewriting and Applications
• Fast Offline Partial Evaluation of Large Logic Programs
• Title not available (Why is that?)
• Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation
• A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs
• Solving Horn Clauses on Inductive Data Types Without Induction
• Narrowing and rewriting logic: from foundations to applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Transformational Approach to Program Development
• Optimization of rewrite theories by equational partial evaluation
• Title not available (Why is that?)
• Specialization of functional logic programs based on needed narrowing
• Title not available (Why is that?)
• Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
• Title not available (Why is that?)
• Proving correctness of imperative programs by linearizing constrained Horn clauses
• Title not available (Why is that?)
• Towards Just-In-Time Partial Evaluation of Prolog
• Speedup of logic programs by binarization and partial deduction
• Programming Languages and Systems
• Predicate Pairing for program verification
• Conjunctive partial deduction: foundations, control, algorithms, and experiments
• Forward slicing of functional logic programs by partial evaluation
• Title not available (Why is that?)
• Convex Hull Abstractions in Specialization of CLP Programs
• Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
• Natural Rewriting for General Term Rewriting Systems
• Efficient and flexible access control via Jones-optimal logic program specialisation
• Logic program specialisation through partial deduction: Control issues
• Abstract conjunctive partial deduction for the analysis and compilation of coroutines
• Partial evaluation of Maple
• Logic Based Program Synthesis and Transformation
• Title not available (Why is that?)
• Creating specialised integrity checks through partial evaluation of meta-interpreters
• Title not available (Why is that?)
• Title not available (Why is that?)
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• A study on the practicality of poly-controlled partial evaluation
• Type-based homeomorphic embedding for online termination
• Title not available (Why is that?)
• Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques

This page was built for software: ECCE