Home
Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.
Collections
Categories
Systems
Conferences
People
Companies
Papers
Searched:
Static *Analysis *Techniques *For *Equational *Logic *Programming[^A-Za-z]
Results from Transform web
StaticAnalysisTechniquesForEquationalLogicProgramming
EelcoVisser
09 May 2001 - 21:56
-
NEW
Static Analysis Techniques for Equational Logic Programming RakeshVerma http://arXiv.org/abs/cs/0010034
Number of topics:
1
