Logic Program Synthesis and Transformation

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 3 July 1992

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 3 July 1992

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.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

german

تاریخ انتشار

1993

نویسنده

Kung-Kiu Lau

ناشر

Springer

شابک

9783540198062

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Logic Program Synthesis and Transformation

Logic Program Synthesis and Transformation

گزارش تخلف

فرمت کتاب

ebook

زبان

german

تاریخ انتشار

1993

نویسنده

ناشر

شابک

کتاب های مرتبط

Cultural dynamics in a globalized world : proceedings of the Asia-Pacific Research in Social Sciences and Humanities, Depok, Indonesia, November 7-9, 2016: topics in arts and humanities

Queering Paradigms VI

Measuring recovery from substance use or mental disorders : workshop summary

The First World Festival of Negro Arts, Dakar 1966

Supply Management Research

Advances in textile engineering : selected, peer reviewed papers from the 2011 International Conference on Textile Engineering and Materials, (ICTEM 2011), 23-25 September, 2011, Tianjin, China

The vocation of service to God and neighbour essays on the interests, involvements and problems of religious communities and their members in medieval society ; selected proceedings of the International Medieval Congress, University of Leeds, 14-17 July 1997

Opera Lulliana : a mirror of medieval philosophy. Knowledge, contemplation, and lullism (Contributions to the Lullian section at the SIEPM Congress-Freising, August 20-25, 2012).

Alexandre le Grand à la lumière des manuscrits et des premiers imprimés en Europe : (XIIe - XVIe siècle)

Sensory perception in the medieval West

La fabrique de la traduction : du topos du livre source à la traduction empêchée

Henri Poincaré, 1912 - 2012

Stochastic Analysis: A Series of Lectures Centre Interfacultaire Bernoulli, January-June 2012, Ecole Polytechnique Fédérale de Lausanne, Switzerland

Schädelbasischirurgie : Robotik, Neuronavigation, vordere Schädelgrube

Das neue Bild vom Menschen neue Thesen zu einem klassischen Thema

Re-engineering of the damaged brain and spinal cord : evidence-based neurorehabilitation

Das österreichische Patientenverfügungsgesetz ethische und rechtliche Aspekte

Die europäische Wirtschaftsverfassung Verhandlungen des 6. Österreichischen Europarechtstages, Wien, 29. und 30.9. 2006 = De lege lata et ferenda

Changing Aspects in Stroke Surgery: Aneurysms, Dissections, Moyamoya Angiopathy and EC-IC Bypass

Micropolar elasticity symposium organized by the Department of Mechanics of Solids, June 1972 ; Udine 1974

Advances in Lie superalgebras

دیدگاه کاربران