Avec Guillaume Bonfante et Jean-Yves Moyen

Extensional filters reveal algorithms

The City (cc-by Pierre Boudes)

, par Pierre

This contribution deals with the intensionality of programming languages, and especially addresses the question : "How to compare programming languages from an algorithmic point of view ?’’

We propose an indirect way to compare two languages computing a same set of functions, based on the use of a witness subset of programs, called a filter. If two languages compute the same set of function before filtering, but two different set after filtering, we argue that the initial languages were intensionally different and claim that the difference is in the algorithms they implement. Filtering thus provides a tool to perform an intensional observation of languages.

Documents joints

Revenu et logement, Je livre ici quelques éléments de comparaison concernant mon niveau de vie, pour couper court à quelques idées reçues, et un condensé de nombreuses (...)
Revenu et travail d’un enseignant-chercheur, Cet article complète l'article Revenu et logement, en détaillant un peu le budget de mon ménage, mon parcours d'enseignant-chercheur en terme de (...)
Cybersyn (el systemo synco), Au café, mardi 5 avril 2011, j'ai bien vu que, mis à part Antoine Allombert, personne ne connaissait l'histoire de l'extraordinaire projet chilien (...) [jpg, jpg, png]