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

Contemporary Wine Marketing and Supply Chain Management

$199.99

Secret Ingredients

$54.99

Jugendliche Intensivtter

$64.99

Early Brain Injury or Cerebral Vasospasm

$219.99

Chirurgie hat Zukunft

$17.99

Mila I Love You All Ways by Marianne Richmond

$8.99

Synergetics of Measurement, Prediction and Control

$39.99

Untersuchungen ber die Reaktionszeit bei Dauerbeobachtung

$59.99

It From Bit or Bit From It?

$99.99

The Changing Space Economy of City-Regions

$119.99

A Rumor about the Jews

$69.99

Smart Internet of Things for Environment and Healthcare

$219.99

The Cryptocurrency and Digital Asset Fraud Casebook

$69.99

Microwave Electronic Devices

$169.99

Real-Time Systems

$74.99

Advances in Cryptology - CRYPTO 2004

$109.99

Diagrams in Civic Education

$44.99

Sustainable Forestry Challenges for Developing Countries

$169.99

Object Modeling with the OCL

$39.99

Computational Intelligence in Data Mining

$54.99

Advanced Query Processing

$84.99

Innovations in Agent-Based Complex Automated Negotiations

$84.99

Handbook of Batch Process Design

$219.99

Growing Old in the Future

$169.99

CVs, Resumes, and LinkedIn

$24.99

Circadian Clocks

$219.99

Ergebnisse der Biologie

$84.99

Consumer Credit in Europe

$109.99

Trauma, War, and Violence

$129.00

Plant Membranes

$219.99

Oxidative Stress and Toxicity in Reproductive Biology and Medicine

$129.00

Migration and Stereotypes in Performance and Culture

$119.99

Energetics of Organic Free Radicals

$169.99

Slapstick and Comic Performance

$39.99

Computational Intelligence Methodologies Applied to Sustainable Development Goals

$84.99

Quantitative Approaches in Logistics and Supply Chain Management

$129.00

Tutorium Elektrodynamik

$39.99

Der effiziente Staat Fiktion oder Vision?

$69.99

Numerical Methods of Mathematics Implemented in Fortran

$49.99

Zur Geschichte des 4. Garde-Grenadier-Regiments Knigin

$59.99