Publication:4414739
From MaRDI portal
zbMath1026.68028MaRDI QIDQ4414739
Publication date: 27 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2566/25660379.htm
program analysis; termination; logic programming; functional programming; metaprogramming; well-quasi orders; infinite model checking; specialisation and transformation
68N18: Functional programming and lambda calculus
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms*, E-Unification based on Generalized Embedding, Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation, Type-based homeomorphic embedding for online termination, Rules + strategies for transforming lazy functional logic programs, A framework for computing finite SLD trees, Efficient and flexible access control via Jones-optimal logic program specialisation, Rewriting-based repairing strategies for XML repositories, Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs, The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings
Uses Software