|
Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Logic Program Synthesis and Transformation - Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 (Paperback, Edition. ed.)
Loot Price: R1,520
Discovery Miles 15 200
|
|
|
Logic Program Synthesis and Transformation - Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 (Paperback, Edition. ed.)
Series: Workshops in Computing
Expected to ship within 10 - 15 working days
|
Logic program synthesis and transformation are topics of central
importance to the software industry. The demand for software can
not be met by the current supply, in terms of volume, complexity,
or reliability. The most promising solution seems to be the
increased automation of software production: programmer
productivity would improve, and correctness could be ensured by the
application of mathematical methods. Because of their mathematical
foundations, logic programs lend themselves particularly well to
machine-assisted development techniques, and therefore to
automation. This volume contains the proceedings of the second
International Workshop on Logic Program Synthesis and
Transformation (LOPSTR 92), held at the University of Manchester,
2-3 July 1992. The LOPSTR workshops are the only international
meetings devoted to these two important areas. A variety of new
techniques were described at the workshop, all of which promise to
revolutionize the software industry once they become standard
practise. These include techniques for the transformation of an
inefficient program into an equivalent, efficient one, and the
synthesis of a program from a formal specification of its required
behaviour. Among the topics covered in this volume are: optimal
transformation of logic programs; logic program synthesis via proof
planning; deductive synthesis of programs for query answering;
efficient compilation of lazy narrowing into Prolog; synthesis of
narrowing programs; Logimix: a self-applicable partial evaluator
for Prolog; proof nets; automatic termination analysis. Logic
Program Synthesis and Transformation describes the latest advances
in machine-assisted development of logic programs. It will provide
essential reading for researchers and postgraduate students
concerned with these two important areas.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
