Comprendre les expressions régulières avec Regexper

Les expressions rationnelles, ou expressions régulières, sont un outil très puissant pour manipuler les chaines de caractères dans les langages de programmation. Perl en fait son principe fondamental, mais on les trouve aussi dans les langages plus habituels comme en Java avec la méthode "matches". Elles sont présentées au chapitre 3 du cours e-miage B209.

Il existe un outil intéressant permettant de représenter de manière graphique de telles expressions : Regexper (http://www.regexper.com/).

Par exemple, l'expression "a*|(b+c)*b" donnera :

A tester d'urgence !

Cours de Cobol en ligne

50 years of Running COBOL (Photo credit: national museum of american history)

Cobol est toujours un langage encore très utilisé, en particulier dans le domaine des banques et des assurances. Cependant, de moins en moins de personnes ont des compétences à ce sujet. Du coup, l'offre sur le marché de l'emploi est souvent très intéressante... Si vous voulez vous auto-former, un cours en ligne de la e-miage est disponible :
http://pagesperso.lina.univ-nantes.fr/info/perso/permanents/vailly/Enseignement/EMIAGE/EnDev/ModuleA206EMiageV2.5/A206.html

Books and papers every graduate student should read

Une série de références de livres pour tout étudiant en informatique (en particulier autour des langages de programmation et des compilateurs).

Books and papers every graduate student should read

10 Papers Every Programmer Should Read (At Least Twice)

English: Programmer (Photo credit: Wikipedia)

10 références sur la programmation... et beaucoup de commentaires qui en proposent d'autres. A parcourir, lire...

10 Papers Every Programmer Should Read (At Least Twice)

jQuery Fundamentals :: A guide to the basics of jQuery

JavaScript c'est bien... mais un framework de présentation c'est mieux ! Il en existe plusieurs, mais celui qui est le plus connu est JQuery. Le site ci-dessous vous aidera à demarrer avec :
jQuery Fundamentals :: A guide to the basics of jQuery

Apprendre à coder | Learn to code

English: Official Ruby logo Русский: Официальный логотип языка программирования «Ruby» (Photo credit: Wikipedia)

Pour découvrir la programmation, allez voir la Codecademy ! Vous y trouverez des ressources pour faire de la programmation Web et pour utiliser Javascript et Ruby.


Learn to code
Codecademy is the easiest way to learn to code. It's interactive, fun, and you can do it with your friends.


http://www.codecademy.com/

Denotational Semantics

Denotational Semantics : A METHODOLOGY FOR LANGUAGE DEVELOPMENT

David A. Schmidt

https://www.scss.tcd.ie/Andrew.Butterfield/Teaching/CS4003/DenSem-full-book.pdf

Preuves de programmes en COQ

Un podcast vidéo (fuscia.info) sur un langage permettant la preuve de fonctions : COQ.


Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits.

Dans ce cours, sont présentés les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur les relations intimes entre types, spécifications, et calculs.


L'auteur Yves Bertot est chercheur à l'INRIA et travaille avec le système depuis une vingtaine d'années.  Il a utilisé ce système pour des études d'algorithmes en technologie des langages de programmation, géométrie, arithmétique des ordinateurs, ...

Ce cours vidéo s'adresse à un public informaticien avec des prérequis qui sont partagés par la majeure partie des ingénieurs du milieu industriel.

A voir sur :
Preuves de programmes en coq - Yves Bertot INRIA

C'est en licence CC-By.

haXe

haXe est un langage de programmation dont le compilateur permet de générer du PHP, du C++, du Flash, etc. A tester ! Des commentaires sur ce langages seront les bienvenus.
Tutoriels - haXe