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 4 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 11 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.
-
The Sirens Of Titan
Occasion dès 5,00 €
-
The Boyfriend
16 avis
Neuf dès 11,50 €
Occasion dès 6,56 €
-
Outlander 4-Copy Boxed Set
Occasion dès 8,39 €
-
Die Kinder Der Toten
Occasion dès 9,70 €
-
Brown Bear, Brown Bear, What Do You See ?
1 avis
Neuf dès 13,90 €
Occasion dès 8,75 €
-
Charlie And The Loch Ness Monster - (1 Cd Audio)
2 avis
Occasion dès 6,90 €
-
Kenya - Tome 4 - Interventions
1 avis
Neuf dès 9,90 €
Occasion dès 7,50 €
-
Powerless
Neuf dès 12,99 €
Occasion dès 4,00 €
-
L'allemand Tout De Suite !
1 avis
Neuf dès 5,95 €
Occasion dès 5,29 €
-
L'evangile (Nouveau Testament Arabe - Français) Broché Édition En Arabe
Occasion dès 7,00 €
-
Couple & Complices
2 avis
Occasion dès 4,99 €
-
Sweet Sorrow
Neuf dès 16,42 €
Occasion dès 7,90 €
-
Lapvona
Neuf dès 12,99 €
Occasion dès 8,92 €
-
Carte Routiere Michelin 730 National Autriche
4 avis
Occasion dès 7,60 €
-
The Whole Internet User's Guide & Catalog (Nutshell Handbook)
Occasion dès 3,74 €
-
Indigo
Occasion dès 8,85 €
-
Charlie And The Pirate Treasure (1 Cd Audio)
Occasion dès 7,97 €
-
A Thousand Splendid Suns
5 avis
Occasion dès 3,74 €
-
Apprendre A Programmer En Basic
Occasion dès 8,80 €
-
Pratique Réaliste Du Modèlisme Ferroviaire
4 avis
Occasion dès 8,10 €
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