Programs as Data Objects - Harald Ganzinger
- Format: Broché
- 340 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre55,37 €
Occasion · Très Bon État
Ou 13,84 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 4 jours
Option Express : Chez vous le 22/07 (?)
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
- Protection acheteurs :
- 0,00 €
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
-
60,40 €
Produit Neuf
Ou 15,10 € /mois
- Livraison : 25,00 €
- Livré entre le 9 et le 14 août
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 de Harald Ganzinger Format Broché - Livre
0 avis sur Programs As Data Objects de Harald Ganzinger Format Broché - Livre
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Programs As Data Objects de Harald Ganzinger Format Broché
- LivreAuteur(s) : Harald Ganzinger - Neil JonesEditeur : Springer-Verlag GmbhLangue : AnglaisParution : 01/03/1986Nombre de pages : 340Expédition : 517Dimensions : 23.5 x 15.5 x 1.8 ...
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