Transformations de programmes Program transformations / Bernard Robinet

Public ISBD Titre : Transformations de programmes Program transformations : 3è colloque international sur la programmation/3è international symposium on programming Type de document : texte imprimé Auteurs : Bernard Robinet, Auteur Editeur : Dunod Année de publication : 1978 Importance : 426p Présentation : ill + cd Format : 24cmx16cm ISBN/ISSN/EAN : 978-2-04-010355-2 Langues : Anglais (eng) Langues originales : Anglais (eng) Catégories : Généralité:08.Colloque et Conférence Mots-clés : Concepts fondamentaux et sémantique  Optimisation et structures algorithmiques  Conception et compilation . Résumé : L'ouvrage « Transformations de programmes », édité sous la direction de Bernard Robinet et publié par Dunod en 1978, n'est pas un roman ou un livre linéaire, mais plutôt les actes du 3e Colloque International sur la Programmation qui s'est tenu à Paris du 28 au 30 mars 1978.Le livre traite de l'optimisation, la vérification et la réécriture du code informatique. L'idée clé est de modifier la structure d'un programme informatique (le "transformer") pour le rendre plus rapide, moins gourmand en mémoire ou parallélisable, tout en garantissant strictement qu'il produit toujours le même résultat final (préservation de la sémantique). Transformations de programmes Program transformations : 3è colloque international sur la programmation/3è international symposium on programming [texte imprimé] / Bernard Robinet, Auteur . - Dunod, 1978 . - 426p : ill + cd ; 24cmx16cm. ISBN : 978-2-04-010355-2 Langues : Anglais (eng) Langues originales : Anglais (eng) Catégories : Généralité:08.Colloque et Conférence Mots-clés : Concepts fondamentaux et sémantique  Optimisation et structures algorithmiques  Conception et compilation . Résumé : L'ouvrage « Transformations de programmes », édité sous la direction de Bernard Robinet et publié par Dunod en 1978, n'est pas un roman ou un livre linéaire, mais plutôt les actes du 3e Colloque International sur la Programmation qui s'est tenu à Paris du 28 au 30 mars 1978.Le livre traite de l'optimisation, la vérification et la réécriture du code informatique. L'idée clé est de modifier la structure d'un programme informatique (le "transformer") pour le rendre plus rapide, moins gourmand en mémoire ou parallélisable, tout en garantissant strictement qu'il produit toujours le même résultat final (préservation de la sémantique).

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
1426/1	00-08-0139	Livre	Bibliothèque IGCMO	Documentaires	Disponible	1426/1

Collection Langage et algorithmes de l'informatique. Le langage APL / Bernard Robinet

Public ISBD Titre de série : Collection Langage et algorithmes de l'informatique Titre : Le langage APL Type de document : texte imprimé Auteurs : Bernard Robinet, Auteur ; Jacques Arsac, Auteur Editeur : Technip Année de publication : 1979 Importance : 251p Présentation : ill Format : 24cmx17cm ISBN/ISSN/EAN : 978-2-7108-0352-2 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : apl par l’exemple  systématique d'apl . Collection Langage et algorithmes de l'informatique. Le langage APL [texte imprimé] / Bernard Robinet, Auteur ; Jacques Arsac, Auteur . - Technip, 1979 . - 251p : ill ; 24cmx17cm. ISBN : 978-2-7108-0352-2 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : apl par l’exemple  systématique d'apl .

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
63513	08-02-0040	Livre	Bibliothèque IGCMO	Documentaires	Disponible

---

1 (1 - 2 / 2) Par page : 25 50 100 200