Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Program Development in Computational Logic

Program Development in Computational Logic

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540221524
Condition
New
Product Description

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title of this volume. The motivating force behind LOPSTR has been the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as the imperative paradigm. Speci?cation, synthesis, transformation or specialization, analysis, debugging and veri?cation can all be given logical foundations, thus providing a unifying framework for the whole development process. In the past 10 years or so, such a theoretical framework has indeed begun to emerge. Even tools have been implemented for analysis, veri?cation and speci- ization. However,itisfairtosaythatsofarthefocushaslargelybeenonprogrammi- in-the-small. So the future challenge is to apply or extend these techniques to programming-in-the-large, in order to tackle software engineering in the real world. Returning to this volume, our aim is to present a collection of papers that re?ect signi?cant research e?orts over the past 10 years. These papers cover the wholedevelopmentprocess:speci?cation,synthesis,analysis,transformationand specialization, as well as semantics and systems.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Wolverine- Weapon X Deluxe Edition by by Barry Windsor-Smith

$29.99

Die Klinik der Uterus-Tumoren

$59.99

Epigenetics: Development and Disease

$259.00

Computers in Medical Activity

$84.99

Enhanced Introduction to Finite Elements for Engineers

$109.99

Neural Regulation in the Vertebrate Endocrine System

$109.99

Internal Gravity Waves in the Shallow Seas

$84.99

Datenrendite

$39.99

Geographic Information Science

$54.99

Constructing Singapore Public Space

$109.99

Rural Latin America in Transition

$129.99

Adaptive Business-Intelligence-Systeme

$69.99

Getting StartED with Windows Live Movie Maker

$29.99

Light-Emitting Electrochemical Cells

$129.00

Children Out of Place and Human Rights

$84.99

Critical Phenomena in Natural Sciences

$64.99

English in Tibet, Tibet in English

$54.99

Microfabrication in Tissue Engineering and Bioartificial Organs

$84.99

The Extraordinary and the Everyday in Early Modern England

$39.99

Transatlantic Broadway

$84.99

Nationalist and Racialist Movements in Britain and Germany Before 1914

$44.99

Eliminating the IMF

$79.99

Intelligent Systems and Applications

$219.99

Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery

$219.99

Hong Kong 20 Years after the Handover

$199.99

The Open Brethren: A Christian Sect in the Modern World

$99.99

Arthroscopic Management of Ulnar Pain

$99.00

Reconfigurable Computing: Architectures, Tools and Applications

$39.99

Differential Equations and Dynamical Systems

$64.99

Heart Cell Communication in Health and Disease

$169.99

Learning and Collaboration Technologies

$54.99

The Statesman's Yearbook 2005

$299.99

Buttresss World Guide to Abbreviations of Organizations

$39.99

The Augmented Spherical Wave Method

$54.99

Nancy Drew Clue Book: Springtime Crime

$4.46

Modern Survival Analysis in Clinical Research

$119.99

Islamic Monetary Economics and Institutions

$169.99

Fiscal Underpinnings for Sustainable Development in China

$109.99

Knowledge Engineering in Health Informatics

$129.00

Percolation Theory at Saint-Flour

$49.95