default search action
The French School of Programming, 2024
- Bertrand Meyer:
The French School of Programming. Springer 2024, ISBN 978-3-031-34517-3 - Gérard Berry:
The French School of Programming: A Personal View. 1-13
Software Engineering
- Marie-Claude Gaudel:
"Testing Can Be Formal Too": 30 Years Later. 17-45 - Michel Raynal:
A Short Visit to Distributed Computing Where Simplicity Is Considered a First Class Property. 47-67 - Jean-Marc Jézéquel:
Modeling: From CASE Tools to SLE and Machine Learning. 69-87 - Joëlle Coutaz:
At the Confluence of Software Engineeringand Human-Computer Interaction: A Personal Account. 89-122
Programming Language Mechanisms and Type Systems
- Jean-Pierre Briot:
From Procedures, Objects, Actors, Components, Services, to Agents - A Comparative Analysis of the History and Evolution of Programming Abstractions. 125-146 - Pierre-Louis Curien:
Semantics and Syntax, Between Computer Science and Mathematics. 147-174 - Thierry Coquand:
Some Remarks About Dependent Type Theory. 175-202
Theory
- Patrick Cousot:
A Personal Historical Perspective on Abstract Interpretation. 205-239 - Jean-Jacques Lévy:
Tracking Redexes in the Lambda Calculus. 241-264 - Jean-Pierre Jouannaud:
Confluence of Terminating Rewriting Computations. 265-306
Language Design and Programming Methodology
- Giuseppe Castagna:
Programming with Union, Intersection, and Negation Types. 309-378 - Bertrand Meyer:
Right and Wrong: Ten Choices in Language Design. 379-439
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.