Category:LNCS 1048
From BibNetWiki
Jump to:
navigation
,
search
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
Category
:
LNCS
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
related