Author:
Ramos J. Guadalupe,Silva Josep,Vidal Germán
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Albert, E., Hanus, M., Vidal, G.: A Practical Partial Evaluation Scheme for Multi- Paradigm Declarative Languages. Journal of Functional and Logic Programming 2002 (2002)
2. Lecture Notes in Computer Science;M. Alpuente,1999
3. Claessen, K.: Embedded Languages for Describing and Verifying Hardware. PhD Thesis, Chalmers University of Technology and Gø̈teborg University, Department of Computing Science (2001)
4. Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of 4th ACM Symp. on Principles of Programming Languages, pp. 238–252 (1977)
5. Cousot, P., Cousot, R.: Systematic Design of Program Analysis Frameworks. In: Proc. of 6th ACM Symp. on Principles of Programming Languages, pp. 269–282 (1979)