The French School of Programming
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,...
I tiakina i:
| Kaituhi rangatōpū: | |
|---|---|
| Ētahi atu kaituhi: | |
| Hōputu: | Tāhiko īPukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Cham :
Springer International Publishing : Imprint: Springer,
2024.
|
| Putanga: | 1st ed. 2024. |
| Ngā marau: | |
| Urunga tuihono: | https://doi.org/10.1007/978-3-031-34518-0 |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Rārangi ihirangi:
- The French School of Programming: A Personal View
- Part I: Software Engineering
- “Testing can be formal too”: 30 years later
- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property
- Modeling: From CASE Tools to SLE and Machine Learning
- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account
- Part II: Programming language mechanisms and type systems
- From Procedures, Objects, Actors, Components, Services, to Agents
- Semantics and syntax, between computer science and mathematics
- Some remarks about Dependent Type Theory
- Part III: Theory
- A Personal Historical Perspective on Abstract Interpretation
- Tracking Redexes in the Lambda Calculus
- Confluence of terminating rewriting computations
- Part IV: Language design and programming methodology
- Programming with union, intersection, and negation types
- Right and wrong: ten choices in language design.