Personnaliser

OK

Understanding Programming Languages - Jones, Cliff B.

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

149,21 €

Produit Neuf

  • Ou 37,30 € /mois

    • Livraison : 25,00 €
    • Livré entre le 24 et le 29 avril
    Voir les modes de livraison

    Kelindo

    PRO Vendeur favori

    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 Understanding Programming Languages Format Relié  - Livre Informatique

        Note : 0 0 avis sur Understanding Programming Languages Format Relié  - Livre Informatique

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


        Présentation Understanding Programming Languages Format Relié

         - Livre Informatique

        Livre Informatique - Jones, Cliff B. - 01/11/2020 - Relié - Langue : Anglais

        . .

      • Auteur(s) : Jones, Cliff B.
      • Editeur : Springer International Publishing Ag
      • Langue : Anglais
      • Parution : 01/11/2020
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 244
      • Expédition : 535
      • Dimensions : 24.1 x 16.0 x 1.9
      • ISBN : 9783030592561



      • Résumé :

        This book is about describing the meaning of programming languages. The author teaches the skill of writing semantic descriptions as an efficient way to understand the features of a language. While a compiler or an interpreter offers a form of formal description of a language, it is not something that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices.
        Early in the book the author introduces a simple notation, a meta-language, used to record descriptions of the semantics of languages. In a practical approach, he considers dozens of issues that arise in current programming languages and the key techniques that must be mastered in order to write the required formal semantic descriptions. The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism), context dependency, modelling sharing, modelling concurrency, and modelling exits.
        The content is class-tested and suitable for final-year undergraduate and postgraduate courses. It is also suitable for any designer who wants to understand languages at a deep level. Most chapters offer projects, some of these quite advanced exercises that ask for complete descriptions of languages, and the book is supported throughout with pointers to further reading and resources. As a prerequisite the reader should know at least one imperative high-level language and have some knowledge of discrete mathematics notation for logic and set theory.

        Biographie:
        Prof. Cliff B. Jones is Professor of Computing Science at Newcastle University. He is best known for his research into formal methods for the design and verification of computer systems...

        Sommaire:
        Programming Languages.- Delimiting a Language.- Operational Semantics.- Typing.- Block Structure.- Additional Issues in Sequential Languages.- Alternative Semantic Approaches.- Shared Variable Concurrency.- Concurrent OOLs.- Exceptional Ordering.- Conclusions.- App. A, Simple Language.- App. B, Typed Language.- App. C, Blocks Language.- App. D, COOL.- App. E, VDM Notation.

        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