| Synthesis A Formal Framework for Synthesis and Verification of Logic Programs Protocols between Programs and Proofs A Technique for Modular Logic Program Refinement Transformation Higher-Order Transrormation of Logic Programs Analysis Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings Specialisation A Model for Inter-module Analysis and Optimizing Compilation Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages Automated Strategies for Specializing Constraint Logic Programs Abstract Interpretation Measuring the Precision of Abstract Interpretations Debugging Specifying Prolog Trace Models with a Continuation Semantics Author Index |
内容加载中，请稍后...
商品评论（0条）