Bertrand Meyer's technology+ blog

More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)

A paean to programming

New article: obituary of Niklaus Wirth

New preprint: Lessons from Formally Deployed Software Systems

New preprint: Seamless and Traceable Requirements

New preprint: Loop unrolling — formal definition and application to testing

New preprint: a standard framework for research on bugs and automatic program repair

New paper: seeding contradiction

New preprint: Programming Really Is Simple Mathematics

This is much worse than Munich

New preprint: Software engineering as a domain to formalize

“I don’t have time for administration”

The path wrongly taken

Europe asleep (a key-not)

The power and terror of imagination

Freely accessible books

And what if everything went well?

The French School of Programming

Descente aux enfers

Upside down

Horribly transparent

Mathematics is not a game of hit and miss

A new scientific index

A remarkable group photo

Niklaus Wirth and the Importance of Being Simple

AI will move mountains

A writing exercise

The “NATO expansion” canard

New article: scenarios versus OO requirements

Statement Considered Harmful