scientific article; zbMATH DE number 1953286
zbMATH Open1026.68028MaRDI QIDQ4414739FDOQ4414739
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
Title of this publication is not available (Why is that?)
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
functional programminglogic programmingterminationprogram analysismetaprogrammingwell-quasi ordersinfinite model checkingspecialisation and transformation
Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)
Cited In (12)
- Title not available (Why is that?)
- A framework for computing finite SLD trees
- Rewriting-based repairing strategies for XML repositories
- E-unification based on generalized embedding
- A hybrid approach to conjunctive partial evaluation of logic programs
- 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
Uses Software
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)
