The French School of Programming | Springer Nature Link
Skip to main content
Advertisement
The French School of Programming
Book
© 2024
Save book
View saved research
Accessibility Information
Overview
Editors:
Bertrand Meyer0
Bertrand Meyer
Constructor Institute, Schaffhausen, Switzerland
View editor publications
Search author on:
PubMed
Google Scholar
Presents a survey of software engineering research by some of the most prestigious names in French computer science
Details on topics such as programming language design, object-orientation, rewriting systems, or software verification
Shares the visions of brilliant and highly reputed innovators in SWE, incl the originators of OCaml, Coq, or Eiffel
7404 Accesses
Altmetric
This is a preview of subscription content, log in via an institution
to check access.
Access this book
Log in via an institution
eBook<br>USD 139.30 USD 199.00
Discount applied Price excludes VAT (USA)
Available as PDF
Read on any device
Instant download
Own it forever
Buy eBook
Softcover Book<br>USD 174.99 USD 249.99
Discount applied Price excludes VAT (USA)
Compact, lightweight edition
Free shipping worldwide - view details
Buy Softcover Book
Hardcover Book<br>USD 249.99
Price excludes VAT (USA)
Durable hardcover edition
Free shipping worldwide - view details
Buy Hardcover Book
Tax calculation will be finalised at checkout
Licence this eBook for your library
Learn about institutional subscriptions
Other ways to access
Licence this eBook for your library
Institutional subscriptions
About this book
T he 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 outsider’s appraisal of the French school’s contribution, and an overview chapter by Gérard 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 Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Joëlle 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 Cousot’s personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lévy, 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 Eiffel’s 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.
Similar content being viewed by others
Learning Type Inference for Enhanced Dataflow Analysis
Chapter
© 2024
Assessing the User-Perceived Quality of Source Code Components Using Static Analysis Metrics
Chapter
© 2018
A Self-Evaluating Architecture for Describing Data
Chapter
© 2022
Explore related subjects
Discover the latest articles, books and news in related subjects.
Formal Languages and Automata Theory
Software Engineering
Programming Language
Programming Techniques
Software Testing
Theory of Computation
Historical...