Personnaliser

OK
Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group
ClubR
Euro

Mettre en vente

Person

Se connecter

Heart
Cart
Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group
ClubR
Person

Se connecter

Cart

Programs as Data Objects -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :
Neuf (2)
Occasion (1)
Reconditionné

6,49 €

Occasion · Très Bon État

0,32 € offerts

Option Express : Chez vous le 31/03 (?)

  • Livraison : 3,29 €
  • Livré entre le 31 mars et le 4 avril
Voir les modes de livraison

Ammareal

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

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
    Voir les modes de livraison

    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
    Voir les modes de livraison
    4,8/5 sur + de 1 000 ventes

    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.

Publicité
 
Vous avez choisi le retrait chez le vendeur à
  • 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 !

En savoir plus

Retour

Horaires

      Note :


      Avis sur Programs As Data Objects Format Broché  - Livre Informatique

      Note : 0 0 avis sur Programs As Data Objects Format Broché  - Livre Informatique

      Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


      Présentation Programs As Data Objects Format Broché

       - Livre Informatique

      Livre Informatique - 01/03/1986 - Broché - Langue : Anglais

      . .

    • Editeur : Springer-Verlag Gmbh
    • Langue : Anglais
    • Parution : 01/03/1986
    • Format : Moyen, de 350g à 1kg
    • Nombre de pages : 340
    • Expédition : 517
    • Dimensions : 23.5 x 15.5 x 19.0
    • ISBN : 9783540164463



    • 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

      Consulter les détails de conformité de ce produit (

      Personne responsable dans l'UE

      )
      Le choixNeuf et occasion
      Minimum5% remboursés
      La sécuritéSatisfait ou remboursé
      Le service clientsÀ votre écoute
      LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
      visavisa
      mastercardmastercard
      klarnaklarna
      paypalpaypal
      floafloa
      americanexpressamericanexpress
      Rakuten Logo
      • Rakuten Kobo
      • Rakuten TV
      • Rakuten Viber
      • Rakuten Viki
      • Plus de services
      • À propos de Rakuten
      Rakuten.com