Placeholder text

Go to cart

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation Medicine

Logic Based Program Synthesis and Transformation

0 - Used - good
Description
Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation 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.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
196
Release Date:
2008-10-10
Publication Date:
2001-05-01
Publisher:
Springer
Languages:
Original: English
ISBN10:
3540421270
ISBN13:
9783540421276
GPSR Manufacturer Reference:
[email protected]
Weight:
306 g
Height:
155 cm
Width:
235 cm
Thickness:
11 cm
Buy on Amazon
Currently sold out