ECCE
From MaRDI portal
Software:16380
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