Copied Logic Program Synthesis and Transformation
Logic Program Synthesis and Transformation
This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 1012, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Tidal Friction and the Earths Rotation
$54.99
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
$39.99
Fetal Alcohol Spectrum Disorder
$169.99
Foundations and Applications of Decision Theory
$109.99
Software Project Management for Distributed Computing
$109.99
The Human Yolk Sac and Yolk Sac Tumors
$84.99
The Proceedings of the 9th Frontier Academic Forum of Electrical Engineering
$259.00
Algorithmic Number Theory
$39.99
Climate Change Science: A Modern Synthesis
$139.99
Nato Fair Trial Safeguards: Precursor to an International Bill of Procedural Rights
$54.99
Personalentwicklung in Pflege- und Gesundheitseinrichtungen
$79.99
Aquaculture Science and Engineering
$189.00
Theory and Practice of Natural Computing
$39.99
Genetic Engineering of Crop Plants for Food and Health Security
$219.00
Organ Regeneration
$39.99
Narben nach Operationen im Bauchraum
$24.99
Teenie-Welten
$64.99
Umformtechnik
$309.00
Developments and Applications in SmartRail, Traffic, and Transportation Engineering
$379.99
Immunohistochemistry: Basics and Methods
$189.00
Insights on Environmental Changes
$84.99
Recursion: Complexity in Cognition
$109.99
Computer Information Systems and Industrial Management
$39.99
Understanding Circumcision
$169.99
GeNeDis 2022
$189.00
Herz Kreislauf kompakt
$49.95
Die maschinentechnischen Bauformen und das Skizzieren in Perspektive
$59.99
Anterior Hip Replacement
$199.99
Moderne Methoden der Marktforschung
$29.99
Medienresonanzanalyse
$19.99
Hilar Cholangiocarcinoma
$89.00
Monsoons over China
$219.99
Automation 2023: Key Challenges in Automation, Robotics and Measurement Techniques
$149.00
Teachers as Researchers in Innovative Learning Environments
$139.99
Psychologische Begutachtung von Familien mit Migrationshintergrund
$49.99
Social Sciences for an Other Politics
$59.99
kologische Bewertung von Fliegewsserlandschaften
$64.99
HIV, Resurgent Infections and Population Change in Africa
$109.99
Historisches Argumentieren und epistemologische berzeugungen
$59.99
Molecular Breeding for Sustainable Crop Improvement
$169.99
