Programs as Data Objects -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre6,49 €
Occasion · Très Bon État
Option Express : Chez vous le 31/03 (?)
- Livraison : 3,29 €
- Livré entre le 31 mars et le 3 avril
Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Nos autres offres
-
52,59 €
Produit Neuf
Ou 13,15 € /mois
- Livraison à 0,01 €
- Livré entre le 3 et le 10 avril
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540164463_dbm
-
60,40 €
Produit Neuf
Ou 15,10 € /mois
- Livraison : 25,00 €
- Livré entre le 17 et le 22 avril
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Programs As Data Objects Format Broché - Livre Informatique
0 avis sur Programs As Data Objects Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Habitat Résidentiel Écologique
Neuf dès 38,10 €
Occasion dès 6,48 €
-
Woordenboek Frans-Nederlands
Neuf dès 14,00 €
Occasion dès 3,32 €
-
Harrington On Hold'em
2 avis
Neuf dès 34,96 €
Occasion dès 5,00 €
-
L'anglais En 21 Leçons
1 avis
Neuf dès 5,10 €
Occasion dès 3,99 €
-
L Ostéoporose:Comment L Eviter
Neuf dès 13,10 €
Occasion dès 3,29 €
-
De Weg Naar Mekka | Jan Leyers
Occasion dès 5,39 €
-
Der Zweite Weltkrieg | Alexander Lüdeke
Neuf dès 24,00 €
Occasion dès 6,15 €
-
Incognita N 2 : Michel Valmer
Neuf dès 12,95 €
Occasion dès 7,86 €
-
Die Musik - Mein Leben: Autobiografie
Occasion dès 3,74 €
-
L'art Des Jardins Au Fil Des Ages
Occasion dès 6,49 €
-
The Little Book Of Pin-Up - Elvgren
1 avis
Occasion dès 7,23 €
-
Ma Derniere Annee Sur Le Trone
Occasion dès 6,49 €
-
Europäische Avantgarde Von Jean Dubuffet Bis Emilio Vedora
Occasion dès 6,49 €
-
The Warlock Enlarged
Occasion dès 7,50 €
-
Kamp Nachtmerrie
Occasion dès 6,49 €
-
Le Grand Guide Michelin France
Neuf dès 47,10 €
Occasion dès 4,21 €
-
Matthieu Le Fils, Roman
Occasion dès 3,74 €
-
L'incertaine Limite De Nos Gestes
Neuf dès 15,00 €
Occasion dès 5,50 €
-
Le Tao Te King - Le Livre De La Voie Et De La Vertu 2ed
Occasion dès 6,49 €
-
Sibylline En Danger
Occasion dès 6,49 €
Produits similaires
Présentation Programs As Data Objects Format Broché
- Livre Informatique
Résumé :
Strictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used for program transformation.- The theory of strictness analysis for higher order functions.- Recognition of generative languages.- Modular first-order specifications of operational semantics.- Logic specification of code generation techniques.- Strictness detection in non-flat domains.- Strictness computation using special ?-expressions.- A relational framework for abstract interpretation.- Expected forms of data flow analyses.- Code generation from two-level denotational meta-languages.- Multilevel functions in Martin-L?f's type theory.- An implementation from a direct semantics definition.- The structure of a self-applicable partial evaluator.- Program transformation by supercompilation.- Listlessness is better than laziness II: Composing listless functions.- From interpreter to compiler: A representational derivation.
Sommaire:
Strictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used for program transformation.- The theory of strictness analysis for higher order functions.- Recognition of generative languages.- Modular first-order specifications of operational semantics.- Logic specification of code generation techniques.- Strictness detection in non-flat domains.- Strictness computation using special ?-expressions.- A relational framework for abstract interpretation.- Expected forms of data flow analyses.- Code generation from two-level denotational meta-languages.- Multilevel functions in Martin-L?f's type theory.- An implementation from a direct semantics definition.- The structure of a self-applicable partial evaluator.- Program transformation by supercompilation.- Listlessness is better than laziness II: Composing listless functions.- From interpreter to compiler: A representational derivation....
Détails de conformité du produit
Personne responsable dans l'UE