Login / Signup

Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications.

Ali E. Abdallah
Published in: ICFEM (2000)
Keyphrases
  • computationally expensive
  • data mining
  • search engine
  • multiscale
  • source code
  • scale space
  • lightweight