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

The French School of Programming

The French School of Programming

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

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques. The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsiders appraisal of the French schools contribution, and an overview chapter by Grard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jzquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Jolle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction. In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types. In chapter 8, Thierry Coquand presents some remarks on dependent type theory. Part C begins with Patrick Cousots personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lvy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations. Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types. In the final chapter, Bertrand Meyer covers ten choices in language design for object-oriented programming, distinguishing between right and wrong resolutions of these issues and explaining the rationale behind Eiffels decisions. This book will be of special interest to anyone with an interest in modern views of programming on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification and in the insights of a brilliant group of innovators in the field.

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

Single Product Purchase

$149.00
@ 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
$149.00 $149.00

$149.00
See Site In stock Visit Store

Similar Products

Risk Analysis and Reduction in the Chemical Process Industry

$169.00

Foundations of Quantum Physics

$89.00

50 Jahre Kongress fr Innere Medizin 18821932

$59.99

Efficiency, Institutions, and Economic Policy

$109.99

International Trade

$54.99

Nachhaltigkeit in Umwelt, Wirtschaft und Gesellschaft

$49.99

The Artification of Luxury Fashion Brands

$69.99

Living Well with Pessimism in Nineteenth-Century France

$39.99

Theoriegeleitete Forschungswege in der Pflegewissenschaft

$54.99

Praxishandbuch Immobiliensteuerrecht

$74.99

Bewertung und Steigerung der Energieeffizienz kommunaler Bestandsgebude

$49.99

The Effectiveness of European Union Environmental Policy

$54.99

House Officer

$39.99

Dynamics of the Mammalian Sperm Head

$109.99

Little Miss Stoneybrook.and Dawn (The Baby-Sitters Club #15)

$5.99

Clinical Pharmacology of Cerebral Ischemia

$129.00

Kontrolle von Beteiligungen als Aufgabe des Controllings

$79.99

Technikleitbilder und Broarbeit

$69.99

Buzz Boy and Fly Guy (Fly Guy #9) (Hardcover)

$5.99

Jugend, Gesundheit und Identitt

$64.99

New Developments of the Exchange Rate Regimes in Developing Countries

$109.99

Aufstze und Rezensionen (18901910)

$349.99

91 Anwendungen mit Quattro Pro fr Windows

$69.95

The Properties of Water in Foods ISOPOW 6

$39.99

Modeling Environmental Policy

$129.00

Political Determinants of Income Inequality in Emerging Democracies

$39.99

Aspects of Art Forgery

$54.99

The Nail in Health and Disease

$84.99

The Literary and Linguistic Construction of Obsessive-Compulsive Disorder

$54.99

Wittgenstein in Florida

$169.99

Life System Modeling and Intelligent Computing

$39.99

Cool Math for Hot Music

$99.99

Regularity of the One-phase Free Boundaries

$49.99

Changing Japanese Business, Economy and Society

$84.99

Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens

$59.99

Die Ausbildung in der Industrie

$59.99

Linguistic Resources for Natural Language Processing

$159.99

Die innere Geometrie der metrischen Rume

$59.99

PostTranscriptional Regulation by STAR Proteins

$219.99

Strategische Initiativen und Programme

$44.99