Category:LNCS 1048

From BibNetWiki

Lecture Notes in Computer Science, Volume 1048

Articles in category "LNCS 1048"

There are 20 articles in this category.

A An Argumentation-Theoretic Approach to Logic Program Transformation An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations C Complexity of Horn Programs D Derivation of Concurrent Algorithms in Tempo E Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints Efficient Translation of Lazy Functional Logic Programs into Prolog

G Guiding Program Development Systems by a Connection Based Proof Strategy I Ideal Refinement of Datalog Programs L Logic Program Synthesis by Induction over Horn Clauses Logic Program Transformation Through Generalization Schemata Logic program synthesis and transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995: proceedings M Memoing Evaluation by Source-to-Source Transformation O On the Mechanics of Metasystem Hierarchies in Program Transformation

S Solving Deductive Planning Problems Using Program Analysis and Transformation Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis T Termination of Logic Programs Using Semantic Unification Towards Automatic Control for CLP(chi) Programs Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs Under the Completion Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs Transformation of Left Terminating Programs: The Reordering Problem