ECCE

swMATH4196MaRDI QIDQ16380

No author found.

Related Items (62)

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

This page was built for software: ECCE