French School of Programming
portes grátis
French School of Programming
Meyer, Bertrand
Springer International Publishing AG
04/2024
439
Dura
Inglês
9783031345173
15 a 20 dias
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Software Engineering;Programming Methodology;Programming Languages;Formal Methods of Computing;Software Verification;Software Design
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
