scientific article; zbMATH DE number 1953286

MaRDI QIDQ4414739zbMATH OpenFDO

Authors Michael Leuschel

Publication date 27 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660379.htm

zbMATH Keywords

functional programminglogic programmingterminationprogram analysismetaprogrammingwell-quasi ordersinfinite model checkingspecialisation and transformation

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Type-based homeomorphic embedding for online termination
• Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
• Topological methods for symbolic discrepancy
• On-line symbolic constraint embedding for simulation of hybrid dynamical systems
• Symbolic reachability computation for families of linear vector fields
• Symbolic termination analysis of solvable loops
• Symbolic decision procedure for termination of linear programs
• Towards specifying symbolic computation
• scientific article; zbMATH DE number 1948517
• Symbolic computation in hyperbolic programming

Cited in

(12)

• scientific article; zbMATH DE number 2080285 (Why is no real title available?)
• A framework for computing finite SLD trees
• Rewriting-based repairing strategies for XML repositories
• A hybrid approach to conjunctive partial evaluation of logic programs
• E-unification based on generalized embedding
• Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
• A comparison of well-quasi orders on trees
• Rules + strategies for transforming lazy functional logic programs
• Efficient and flexible access control via Jones-optimal logic program specialisation
• Program specialization for verifying infinite state systems: an experimental evaluation
• The ideal approach to computing closed subsets in well-quasi-orderings
• Type-based homeomorphic embedding for online termination

Describes a project that uses

Uses Software

• ECCE

This page was built for publication:

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